camfort

캠 포트

Camfort는 과학적 포트란 프로그램을위한 리팩토링 및 검증 도구입니다. 현재 다양한 레거시 확장으로 Fortran 66, 77, 90, 95 및 2003 (다소)을 지원합니다.

케임브리지 대학교와 켄트 대학교에서 개발 된 연구 프로젝트입니다.

획득

OS의 권장 설치 방법 :

• Windows : 릴리스에서 미리 빌드 다발 (종속성 포함) : camfort-bundle-windows 시작 다운로드
• MAC : 홈 브루를 통해 : brew install camfort/camfort/camfort
• 리눅스 : 릴리스에서 사전 제작 된 바이너리. OS의 라이브러리 종속성을 설치하는 방법은 Wiki : Building을 참조하십시오.

Windows, Mac 및 Linux 용 미리 빌드 바이너리를 제공합니다. Windows의 경우 Camfort 실행 파일을 모든 종속성과 함께 묶는 아카이브도 제공합니다.

Camfort는 또한 홈브리 (공식)를 통해 이용할 수 있습니다.

 brew install camfort/camfort/camfort

Camfort/Camfort의 Docker에서 Camfort의 구식 (~ 2019) 버전을 사용할 수 있습니다.

개발자를위한 새로운 Docker 이미지 (Still Work-in-progress)는 ghcr.io/camfort/camfort:dev 에서 제공됩니다. 제안 된 호출은 다음과 같습니다.

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

용법

Camfort는 명령 줄 도구이므로 좋아하는 쉘 또는 명령 프롬프트에서 호출하십시오. 자세한 사용 정보는 위키에서 제공됩니다.

건물

(최근 빌드를 원하고 컴파일 프로세스를 통해 앉아 싶지 않은 경우 대신 작업 탭을 확인하고 최근 워크 플로 실행에서 시스템의 관련 빌드를 다운로드 할 수 있습니다.)

이 섹션은 건물을 간단히 다룹니다. 자세한 내용은 Wiki : Building을 참조하십시오.

Camfort는 GHC 8.4를 통해 GHC 8.10을 지원하며 스택과 카발로 빌드됩니다. 우리는 정기적으로 최소 최소 및 최대 지원 GHC를 테스트합니다. 문제가있을 수있는 것보다/새로 릴리스되기 전에 출시됩니다. (우리는 더 넓은 범위의 컴파일러를 지원할 수있는 수정 사항을 환영합니다!)

Camfort를 구축하려면 최소 3 개의 기억력 과 인내심이 필요할 것입니다.

Camfort는 다음과 같은 외국 도서관에 따라 다릅니다.

• 플린트> = 2.5
• 라크
• 블라스
• Z3> = 4.5 (실행 파일)

이들은 시스템을 위해 구축해야하지만 설치 방법은 다양합니다. 시스템 별 안내서는 위키에 제공됩니다. (또는 Github Actions 워크 플로우를 확인할 수 있습니다.) Ubuntu :

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

그런 다음 스택을 위해 stack build 또는 Cabal의 cabal build .

탭 완료 (bash)

Camfort의 Bash Autocompletion을 활성화하려면 다음을 .bashrc 또는 .bash_profile 파일에 추가하십시오.

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

기여

만난 버그에 감사 드리며 문제로 제출하도록 친절하게 요청합니다.

풀 요청은 대단히 감사하지만 실질적인 변경이라면 먼저 저희에게 연락하십시오. 제출하기 전에 테스트 스위트를 실행하십시오.

우리가 분석하고자하는 과학적 코드가 있다면 Camfort Corpus에 추가 해 드리겠습니다. 이를 통해 Camfort를 확장하고 강력한 유용한 방법을 찾는 데 도움이됩니다.

지원하다

관리자를 위해

doc/maintainers.md 참조하십시오.