camfort

camfort

CAMFORT是科學福特計劃的重構和驗證工具。目前，它支持Fortran 66、77、90、95和2003（某種程度上）以及各種傳統擴展。

這是一個在劍橋大學和肯特大學開發的研究項目。

獲得

由OS推薦的安裝方法：

• Windows：預先構建的捆綁包（包括依賴項）發行：下載開始的捆綁包camfort-bundle-windows
• MAC：通過Homebrew： brew install camfort/camfort/camfort
• Linux：釋放的預構建二進製文件。請參閱Wiki：構建如何為操作系統安裝庫依賴關係。

我們為Windows，Mac和Linux提供了預製的二進製文件。對於Windows，我們還提供將Camfort可執行的檔案與所有依賴關係捆綁在一起。

Camfort也可以通過自製（公式）獲得：

 brew install camfort/camfort/camfort

Camfort/Cabfort的Docker上有一個較舊的（〜2019）版本的Carfort。

可在ghcr.io/camfort/camfort:dev上獲得開發人員的新碼頭圖像（仍在進行中的工作）。建議的調用是：

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

用法

Camfort是一種命令行工具，因此請從您喜歡的外殼或命令提示符中調用它。 Wiki上提供詳細的用法信息。

建築

（如果您想要最近的構建，並且不想坐在編譯過程中，則可能希望檢查“操作”選項卡並從最近的工作流程中下載系統的相關構建。）

本節僅涵蓋建築物。請參閱Wiki：以獲取完整的詳細信息。

CAMFORT支持GHC 8.4至GHC 8.10 ，並在堆棧和陰謀上建造。我們定期測試至少受支持的GHC。在/更新之前發行的問題可能有問題。 （我們歡迎修復程序，可以讓我們支持更廣泛的編譯器！）

您可能至少需要3個機記憶和耐心來建立CAMFORT。

CAMFORT取決於以下外國圖書館：

• Flint> = 2.5
• 拉帕克
• 布拉斯
• Z3> = 4.5（可執行）

這些應該是為您的系統構建的，但是安裝方法會有所不同。 Wiki上提供了系統特定的指南。 （或者，您可以檢查GitHub操作工作流程。）在Ubuntu上：

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

然後stack build用於堆棧，或為Cabal cabal build 。

標籤完成（bash）

要啟用CAMFORT的bash自動完成，請在.bashrc或.bash_profile文件中添加以下內容：

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

貢獻

我們感謝您遇到的任何錯誤，並請您作為問題提交。

值得讚賞的是，如果這是一個實質性的更改，請首先與我們聯繫。提交之前，請確保運行測試套件。

如果您有您希望我們分析的科學代碼，我們很樂意將其添加到Camfort語料庫中。這有助於我們找到有用的方法來擴展卡普福特，並確保其強大。

支持

對於維護者

請參閱doc/maintainers.md 。