martini 사용/window에 Ocaml 설치는 어떻게 하는 건가요?

김귀인 · 가입: 2022년 3월 3일 올린 글: 3

안녕하세요
자유전공학부에서 컴퓨터공학 전공하고 있는 김귀인입니다.

martini라는 것을 처음 들어봐서 질문 남깁니다.
martini사용은 어떻게 하는 것인가요??

window에 ocaml을 설치하는 데 어려움을 겪고 있습니다.
만약 타학부생이라서 martini사용이 제한된다면
Window에 Ocaml을 설치하는 방법을 좀 더 상세하게 설명해주시면 감사드리겠습니다.
(ocaml홈페이지에서 Window용 binary distrubition 을 다운 받으려고 했더니 page not found 가 뜹니다. 소스파일을 직접 받아서 컴파일 하라고 되어있는데, 파일을 다운로드 해봤더니 Unix를 위한 설명서만 있는 것 같아서 잘 모르겠습니다. )

조승한 · 가입: 2021년 3월 11일 올린 글: 31

안녕하세요 조교입니다.

Ocaml은 우분투 환경에서 사용하시길 권장드립니다. 윈도우 운영체제 사용 중이시다면 우분투 듀얼부팅 혹은 가상머신(WSL, VirtualBox)을 사용하는 방법이 있습니다.

두 번째 옵션으로 martini 서버를 사용하는 것인데, martini는 snucse 통합계정으로 로그인 가능한 서버입니다. 아래 메뉴얼 참고하셔서 이용 가능합니다.
https://bacchus.snucse.org/contents/id-group-system_students.pdf

감사합니다.