게시판 인덱스

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

ocaml 버전 관련 질문입니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2021)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김용희



가입: 2021년 3월 11일
올린 글: 7

올리기올려짐: 2021년3월11일 20:57    주제: ocaml 버전 관련 질문입니다. 인용과 함께 답변

Opam switch를 이용하여 ocaml 4.02.3을 설치하고 current switch가 4.02.3으로 바뀐 것 까지는 확인하였는데 ocaml -version 명령어로 확인하면 system compiler인 4.05.0으로 실행된다는 출력이 나옵니다. Ocaml은 문제 없이 작동하고 있는데 이 경우 실제 컴파일이 이루어지는 버전이 어느 쪽인지, 그리고 혹시 4.02.3 버전으로 컴파일되고 있는 것이 아니라면 해결 방법이 있는지 질문드립니다.
위로
사용자 정보 보기 비밀 메시지 보내기
shkim



가입: 2019년 7월 30일
올린 글: 86

올리기올려짐: 2021년3월12일 10:40    주제: 인용과 함께 답변

opam switch 4.02.3 커맨드 입력 후,
eval $(opam env) 커맨드를 이용해 PATH를 업데이트 해주었는지 확인해 보시기 바랍니다.
위로
사용자 정보 보기 비밀 메시지 보내기
김용희



가입: 2021년 3월 11일
올린 글: 7

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

PATH에 이후에도 PATH, config 파일, opam switch 명령어 등에는 전부 4.02.3으로 표시되만 실제 실행되는 것은 4.05.0 으로 확인됩니다.
원인을 계속 찾아보는 중인데 hw1은 4.05.0 버전으로 확인하고 제출해도 문제가 없을까요?
위로
사용자 정보 보기 비밀 메시지 보내기
김용희



가입: 2021년 3월 11일
올린 글: 7

올리기올려짐: 2021년3월13일 15:18    주제: 인용과 함께 답변

김용희 씀:
PATH에 이후에도 PATH, config 파일, opam switch 명령어 등에는 전부 4.02.3으로 표시되만 실제 실행되는 것은 4.05.0 으로 확인됩니다.
원인을 계속 찾아보는 중인데 hw1은 4.05.0 버전으로 확인하고 제출해도 문제가 없을까요?


PATH에 이후에도 -> PATH에 업데이트 한 이후에도 입니다.
위로
사용자 정보 보기 비밀 메시지 보내기
shkim



가입: 2019년 7월 30일
올린 글: 86

올리기올려짐: 2021년3월13일 15:29    주제: 인용과 함께 답변

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=6984

공지에 나와 있듯이, Ocaml 버전이 맞지 않는 등의 프로그램의 외적인 실수로 인한 문제는 수정할 수 있는 기회를 드리고 있습니다. 다만 제한이 있으니 다음에는 문제가 발생하지 않도록 버전 문제를 해결하시길 권고드립니다. 숙제 1, 2번 정도의 수준에서는 버전 차이로 인한 문제가 크게 발생하진 않을 것으로 생각되나 확실히 말씀드릴순 없을것 같습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
염준영



가입: 2021년 3월 14일
올린 글: 23

올리기올려짐: 2021년3월14일 0:15    주제: 인용과 함께 답변

첨언드리자면 martini 서버에는 opam 1.2.2 버전이 깔려있는데
이 버전에서는 eval $(opam env)를 하면 unknown command라고 뜨고
eval $(opam config env)를 해야 버전이 4.02.3으로 바뀝니다
위로
사용자 정보 보기 비밀 메시지 보내기
shkim



가입: 2019년 7월 30일
올린 글: 86

올리기올려짐: 2021년3월14일 16:56    주제: 인용과 함께 답변

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=7007
공지 확인해주시기 바랍니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2021) 시간대: GMT + 9 시간(한국)
페이지 11

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


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