camfort

Camfort

Camfort é uma ferramenta de refatoração e verificação para programas científicos da Fortran. Atualmente, suporta o Fortran 66, 77, 90, 95 e 2003 (um pouco) com várias extensões herdadas.

É um projeto de pesquisa desenvolvido na Universidade de Cambridge e na Universidade de Kent.

Obtenção

Método de instalação recomendado pelo sistema operacional:

• Windows: Pacotes pré-construídos (inclui dependências) em lançamentos: Download Ones Iniciando camfort-bundle-windows
• Mac: Via Homebrew: brew install camfort/camfort/camfort
• Linux: binários pré -construídos nos lançamentos. Consulte Wiki: Construindo como instalar dependências da biblioteca para o seu sistema operacional.

Fornecemos binários pré -construídos para Windows, Mac e Linux. Para o Windows, também fornecemos arquivos que agrupam o Camfort executável junto com todas as suas dependências.

Camfort também está disponível no Homebrew (Fórmula):

 brew install camfort/camfort/camfort

Uma versão mais antiga (~ 2019) do Camfort está disponível no Docker no Camfort/Camfort.

Uma nova imagem do Docker para desenvolvedores (ainda trabalha em andamento) está disponível em ghcr.io/camfort/camfort:dev . A invocação sugerida é:

• Podman: podman run --volume $(pwd):/host --workdir /host ghcr.io/camfort/camfort:dev <CamFort arguments>

Uso

Camfort é uma ferramenta de linha de comando, então a invocar do seu shell ou prompt de comando favorito. Informações detalhadas sobre o uso estão disponíveis no wiki.

Prédio

(Se você deseja uma compilação recente e não deseja participar do processo de compilação, pode verificar a guia Ações e baixar a construção relevante para o seu sistema a partir de uma execução recente do fluxo de trabalho.)

Esta seção abrange apenas a construção brevemente. Veja Wiki: Construindo para obter detalhes completos.

Camfort suporta GHC 8.4 a GHC 8.10 e constrói com pilha e cabala. Testamos regularmente pelo menos os GHCs mínimos e máximos suportados. Lançamentos anteriores a/mais recentes do que esses podem ter problemas. (Congratulamo -nos com correções que nos permitiriam apoiar uma gama mais ampla de compiladores!)

Você provavelmente precisará de pelo menos três gibas de memória e alguma paciência para construir Camfort.

Camfort depende das seguintes bibliotecas estrangeiras:

• Flint> = 2,5
• Lapack
• Blas
• Z3> = 4.5 (executável)

Eles devem ser criados para o seu sistema, mas o método de instalação varia. Guias específicos do sistema são fornecidos no wiki. (Como alternativa, você pode verificar os fluxos de trabalho das ações do GitHub.) No Ubuntu:

 apt install libflint-dev liblapack-dev libopenblas-dev z3

Em seguida, stack build para a pilha, ou cabal build for Cabal.

Conclusão da guia (Bash)

Para ativar o BASH AutoCompletion for Camfort, adicione o seguinte ao seu arquivo .bashrc ou .bash_profile :

 eval "$(camfort --bash-completion-script=$(which camfort))"

Contribuindo

Agradecemos todos os bugs que você encontrar e gentilmente solicitamos que você o envie como um problema.

As solicitações de tração são muito apreciadas, mas entre em contato conosco primeiro se for uma mudança substancial. Certifique -se de executar o conjunto de testes antes de enviar.

Se você tiver código científico que gostaria que analisássemos, ficaríamos felizes em adicioná -lo ao Camfort Corpus. Isso nos ajuda a encontrar maneiras úteis de estender o Camfort, além de garantir que seja robusto.

Apoiar

Para mantenedores

Veja doc/maintainers.md .