camfort

แคมฟอร์ต

Camfort เป็นเครื่องมือการปรับโครงสร้างและการตรวจสอบสำหรับโปรแกรม Fortran วิทยาศาสตร์ ปัจจุบันรองรับ Fortran 66, 77, 90, 95 และ 2003 (ค่อนข้าง) ด้วยส่วนขยายมรดกต่าง ๆ

เป็นโครงการวิจัยที่พัฒนาขึ้นในมหาวิทยาลัยเคมบริดจ์และมหาวิทยาลัยเคนต์

การได้รับ

วิธีการติดตั้งที่แนะนำโดย OS:

• Windows: Prebuilt Bundles (รวมถึงการพึ่งพา) ที่รีลีส: ดาวน์โหลดอันที่เริ่มต้น camfort-bundle-windows
• MAC: ผ่าน Homebrew: brew install camfort/camfort/camfort
• Linux: ไบนารี prebuilt ที่เผยแพร่ ดู Wiki: การสร้างวิธีการติดตั้งการพึ่งพาห้องสมุดสำหรับระบบปฏิบัติการของคุณ

เราให้บริการไบนารี prebuilt สำหรับ Windows, Mac และ Linux สำหรับ Windows เรายังมีคลังเก็บที่รวมแคมฟอร์ดเข้าร่วมกับการพึ่งพาทั้งหมด

Camfort ยังมีให้บริการผ่าน Homebrew (สูตร):

 brew install camfort/camfort/camfort

Camfort รุ่นเก่า (~ 2019) มีให้บริการใน Docker ที่ Camfort/Camfort

ภาพนักเทียบท่าใหม่สำหรับนักพัฒนา (ยังคงทำงานอยู่ระหว่างดำเนินการ) ที่ ghcr.io/camfort/camfort:dev การเรียกร้องที่แนะนำคือ:

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

การใช้งาน

Camfort เป็นเครื่องมือบรรทัดคำสั่งดังนั้นเรียกใช้จากเชลล์หรือพรอมต์คำสั่งที่คุณชื่นชอบ ข้อมูลการใช้งานโดยละเอียดมีอยู่ในวิกิ

อาคาร

(หากคุณต้องการบิลด์ล่าสุดและไม่ต้องการนั่งผ่านกระบวนการรวบรวมคุณอาจต้องการตรวจสอบแท็บการกระทำและดาวน์โหลดบิลด์ที่เกี่ยวข้องสำหรับระบบของคุณจากการทำงานของเวิร์กโฟลว์ล่าสุด)

ส่วนนี้ครอบคลุมเฉพาะการสร้างสั้น ๆ ดู Wiki: สร้างรายละเอียดทั้งหมด

Camfort รองรับ GHC 8.4 ถึง GHC 8.10 และสร้างด้วยทั้งสแต็คและ Cabal เราทดสอบ GHCs ขั้นต่ำและสูงสุดอย่างน้อยที่สุด เผยแพร่ก่อน/ใหม่กว่าที่อาจมีปัญหา (เรายินดีต้อนรับการแก้ไขที่จะให้เรารองรับคอมไพเลอร์ที่กว้างขึ้น!)

คุณอาจต้องการ หน่วยความจำอย่างน้อย 3 ตัว และความอดทนในการสร้างแคมฟอร์ต

แคมฟอร์ตขึ้นอยู่กับห้องสมุดต่างประเทศต่อไปนี้:

• ฟลินท์> = 2.5
• ตัก
• คนอื่น ๆ
• Z3> = 4.5 (ปฏิบัติการ)

สิ่งเหล่านี้ควรสร้างขึ้นสำหรับระบบของคุณ แต่วิธีการติดตั้งจะแตกต่างกันไป คำแนะนำเฉพาะระบบมีให้ในวิกิ (อีกทางเลือกหนึ่งคุณสามารถตรวจสอบเวิร์กโฟลว์การกระทำของ GitHub) บน Ubuntu:

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

จากนั้น stack build สำหรับสแต็กหรือ cabal build สำหรับ Cabal

เสร็จสิ้นแท็บ (bash)

หากต้องการเปิดใช้งานการเติมเงินอัตโนมัติ Bash สำหรับ Camfort ให้เพิ่มสิ่งต่อไปนี้ในไฟล์ .bashrc หรือ .bash_profile :

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

การบริจาค

เราขอขอบคุณข้อบกพร่องใด ๆ ที่คุณพบและขอให้คุณส่งเป็นปัญหา

คำขอดึงได้รับการชื่นชมมาก แต่โปรดติดต่อเราก่อนหากเป็นการเปลี่ยนแปลงที่สำคัญ ตรวจสอบให้แน่ใจว่าได้เรียกใช้ชุดทดสอบก่อนส่ง

หากคุณมีรหัสวิทยาศาสตร์ที่คุณต้องการให้เราวิเคราะห์เรายินดีที่จะเพิ่มลงใน Camfort Corpus สิ่งนี้ช่วยให้เราค้นหาวิธีที่มีประโยชน์ในการขยายแคมฟอร์ตรวมถึงการทำให้มั่นใจว่ามันแข็งแกร่ง

สนับสนุน

สำหรับผู้ดูแล

ดู doc/maintainers.md