게시판 인덱스

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

ocaml 관련질문입니다.

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



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

올리기올려짐: 2021년3월14일 7:30    주제: ocaml 관련질문입니다. 인용과 함께 답변

안녕하세요.
제가 ocaml을 이용하여 과제를 하려고 하는데
1. 컴퓨터공학부 학생이 아니어서 martini등의 서버 사용이 안되는 것 같고,
2. window 에 맞는 cygwin이나 ubuntu를 이용해서 시도했으나 버전이 안바뀌는 문제가 발생했습니다.(No switch 4.02.3..., No compiler matching....., )

이를 어떻게 해결하면 좋을까요?
위로
사용자 정보 보기 비밀 메시지 보내기
염준영



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

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

[code]opam switch create 4.02.3 으로 설치하고 사용하시면 될 것 같습니다
위로
사용자 정보 보기 비밀 메시지 보내기
shigano021



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

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

답변해주셔서 감사합니다.
[code]opam switch create 4.02.3 입력시
No compiler matching '4.02.3' found, use 'opam switch list-available' to see what is available, or use '--packages' to select packages explicitly.
이러한 에러가 계속 발생해서

[code]opam switch list-available라고 입력하면
# Listing available compilers from repositories: default
# No matches found

이런 결과가 나오는데 혹시 이것은 어떻게 해결해야할까요..?[/code]
위로
사용자 정보 보기 비밀 메시지 보내기
shkim



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

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

WSL, VM 등을 이용해 윈도우 안에 ubuntu 환경을 만드시거나, ubuntu를 직접 설치해 환경을 만들어보시기 바랍니다.
아키텍쳐, 운영체제별로 개별의 문제 원인을 찾아드리기 힘든점 양해바랍니다.
위로
사용자 정보 보기 비밀 메시지 보내기
shigano021



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

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

혹시 제가 컴공 학생이 아니지만 이 수업을 듣는 동안 martini와 같은 서버를 이용할수 없을까요?
Ubuntu 나 다양한 방법으로 시도했는데 실패했습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
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