게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

opam switch 설정

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2024)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
윤소영



가입: 2024년 3월 20일
올린 글: 4

올리기올려짐: 2024년3월31일 11:39    주제: opam switch 설정 인용과 함께 답변

안녕하세요, opam switch 설정과 관련하여 질문드립니다.
dune을 설치하려고 할 경우 아래와 같은 에러가 뜹니다.
코드:
dbsthdud918@DESKTOP-KFKNUOS:~$ opam install dune
[ERROR] No switch is currently set. Please use 'opam switch' to set or install a switch

현재 opam switch가 정해져있지 않은 것이라 생각되어 opam switch를 치면 아래와 같이 나옵니다.
코드:
dbsthdud918@DESKTOP-KFKNUOS:~$ opam switch
#  switch  compiler  description

opam init 과정에서 default가 제대로 만들어지지 않은 것으로 생각되고, 실제로 opam init을 처음 쳤을 때 무언가 설치되는 것이 아니라 y를 총 2번 눌렀을 때 그대로 종료되었습니다.
코드:
dbsthdud918@DESKTOP-KFKNUOS:~$ opam init

<><> Required setup - please read <><><><><><><><><><><><><><><><><><><><><><><>

  In normal operation, opam only alters files within ~/.opam.

  However, to best integrate with your system, some environment variables
  should be set. If you allow it to, this initialisation step will update
  your bash configuration by adding the following line to ~/.profile:

    test -r /home/dbsthdud918/.opam/opam-init/init.sh && . /home/dbsthdud918/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true


  Otherwise, every time you want to access your opam installation, you will
  need to run:

    eval $(opam env)

  You can always re-run this setup with 'opam init' later.

Do you want opam to modify ~/.profile? [N/y/f]
(default is 'no', use 'f' to choose a different file) y
A hook can be added to opam's init scripts to ensure that the shell remains in sync with the opam environment when they
are loaded. Set that up? [y/N] y

User configuration:
  ~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.

dbsthdud918@DESKTOP-KFKNUOS:~$

이후 eval에 대해서도 마찬가지의 에러가 발생하였습니다.
코드:
dbsthdud918@DESKTOP-KFKNUOS:~$ eval $(opam env --switch=default)
[NOTE] To make opam select the switch default in the current shell, add --set-switch or set OPAMSWITCH
[ERROR] The selected switch default is not installed.

이러한 문제가 계속 되어 여러 방법을 시도하였지만 default가 없는 상태를 해결하지 못하였습니다. 혹시 어떤 부분이 문제인지, 혹은 어떻게 해결할 수 있는지 도움 부탁드립니다. 감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이재호
Site Admin


가입: 2022년 3월 6일
올린 글: 209

올리기올려짐: 2024년3월31일 13:14    주제: 인용과 함께 답변

안녕하세요,

현재 opam switch 결과 아무것도 안 나오는 것을 보아 컴파일러 설치가 안 되어 있는 것 같은데요,
그 전 과제를 진행하실 때 ocaml 설치와 utop, ocamlc 등의 작업은 어떻게 진행하셨나요?

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
윤소영



가입: 2024년 3월 20일
올린 글: 4

올리기올려짐: 2024년3월31일 22:44    주제: 인용과 함께 답변

안녕하세요, utop의 경우 sudo apt install utop를 통해 별도로 깔아 컴파일하였습니다. opam install utop의 경우 opam switch가 설정되지 않아 돌아가지 않았지만 별도로 깔아준 utop로 .ml 파일을 컴파일할 수 있었습니다.
ocaml의 설치 자체는 opam과 함께 되었던 것으로 기억하는데, ocaml 또한 utop와 마찬가지로 별도로 설치하였을 수도 있을 것 같습니다.
이들을 별도로 설치하기 전에 opam init를 먼저 수행하였음에도 잘 작동하지 않아서 설치하였던 기억이 있어서 해당 설치와 무관할 것으로 예상하였는데, 혹시 관련이 있을까요?
감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이재호
Site Admin


가입: 2022년 3월 6일
올린 글: 209

올리기올려짐: 2024년3월31일 23:05    주제: 인용과 함께 답변

utop은 OCaml 실행기로, OCaml을 컴파일하여 실행한 것은 아닙니다.

ocaml이 opam과 같이 설치가 되었다고 하셨는데요, opam switch가 없는 것으로 보아 그렇지 않을 것으로 생각됩니다.
(만약 설치가 되어있다면) `which ocaml`을 통해 어떤 ocaml을 쓰시는지 확인 가능합니다.
`xxx/.opam/` 밑에 있지 않다면 apt 등을 통해 기존에 설치된 것을 지우고 opam으로 다시 설치해주세요.
utop도 마찬가지입니다.

이후 opam update를 하신 후, opam switch create 5.1.0 과 같이 직접 컴파일러 설치를 진행하신 후, opam install을 통해 utop dune ocamlformat 등등 설치하시길 바랍니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2024) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay