Windows Subsystem for Linux에 Agda를 설치하는 방법

개막사

Windows 환경에서 Agda를 사용하고 싶으며 Agda 버전을 신경 쓰지 않는 사람
있다간단한 설정 방법.
다음은 Windows 환경에 특정 버전의 Agda를 설치하여 제대로 작동하지 않는 사용자를 대상으로 합니다.

전제 조건

WSL2의 Ubuntu 20.04LTE를 사용합니다.
설치Stack를 전제로 합니다.
다음 명령을 실행하여 경로가 통과되었는지 확인하십시오.

stack --version

사전 준비

신중을 기하기 위해 포장 일람표를 갱신하다.

sudo apt update

필요한 의존성을 추가하고 몇 개를 설치합니다.

sudo apt install zlib1g-dev
sudo apt install libtinfo-dev

단계를 건너뛴 후 Agda를 설치하는 동안 오류가 발생했습니다.
zlib1g-dev→zlib과 관련된 오류
libtinfo-dev→linker 관련 오류

Agda 설치

Agda의 Giit 창고를 복제하여 설치하고자 하는 버전의 지점으로 전환합니다.
예컨대6.1.1의 경우는 다음과 같다.

git clone https://github.com/agda/agda.git
cd agda
git checkout v2.6.1.1

Stack을 사용하여 지정된 GHC 버전으로 Agda를 설치합니다.
시간이 오래 걸리다.

stack install --stack-yaml stack-8.8.3.yaml

설치가 완료되면 경로가 표시되므로 PATH에 추가하는 것을 잊지 마십시오.

export PATH="$PATH:<Your Executables Path Here>"

Agda가 설치되어 있는지 확인합니다.

agda --version

기본 라이브러리 설치

클론 표준 라이브러리의 Giit 창고를 사용하고자 하는 버전의 지점으로 전환합니다.
예컨대3의 상황은 다음과 같다.

git clone https://github.com/agda/agda-stdlib.git agda-stdlib
cd agda-stdlib
git checkout v1.3

agda-stdlib 디렉터리에 standard-library.agda-lib 파일이 있는지 확인하고 이 경로를 기억하세요.
홈 디렉터리 바로 아래에 .agda 디렉터리를 만듭니다.

cd ~/
mkdir .agda

.agda는 디렉터리 바로 아래에 두 개의 파일libraries과 defaults을 만들었다.defaults 파일은 다음과 같은 텍스트 파일입니다.

standard-library

libraries 파일도 텍스트 파일로 이전의 standard-library.agda-lib 파일의 경로를 기술한다.

사이트 축소판 그림

Compiling and using Agda through the Windows Linux Subsystem

Ubuntu Missing header file:zilib에서h시대응법