Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... ·...
Transcript of Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... ·...
![Page 2: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/2.jpg)
OCaml 설치(Windows)
22016-03-02
![Page 3: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/3.jpg)
OCaml for Windows (1/9)
Windows 환경에서 OCaml을 사용하는 방법
1. Cygwin*을 설치하여 사용
2. OCPWin**을 설치하여 사용
OCPWin 다운로드
– http://www.typerex.org/ocpwin.html 접속
– “컴퓨터>속성>시스템 종류”에서 비트 수를 확인한 후 다운로드
2016-03-02 3
OR
Cygwin*: Windows에서 Unix와 유사한 환경을지원해주는 Command-line interface
OCPWin**: Windows에서 OCaml을 지원하는독립적인 소프트웨어
![Page 4: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/4.jpg)
OCaml for Windows (2/9)
OCPWin 다운로드
OCPWin 설치
2016-03-02 4
![Page 5: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/5.jpg)
OCaml for Windows (3/9)
OCPWin 설치
2016-03-02 5
![Page 6: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/6.jpg)
OCaml for Windows (4/9)
OCPWin 설치
2016-03-02 6
![Page 7: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/7.jpg)
OCaml for Windows (5/9)
OCPWin 설치
2016-03-02 7
![Page 8: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/8.jpg)
OCaml for Windows (6/9)
OCPWin 설치
2016-03-02 8
![Page 9: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/9.jpg)
OCaml for Windows (7/9)
OCPWin 설치
2016-03-02 9
![Page 10: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/10.jpg)
OCaml for Windows (8/9)
OCaml 설치 확인
> ocamlc -where
• OCaml 설치 경로 확인
> ocamlc -v
• OCaml 버전 확인
2016-03-02 10
![Page 11: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/11.jpg)
OCaml for Windows (9/9)
OCaml 사용
> ocaml
• OCaml Interactive mode
# print_endline “Hello World!”;;
• Console에 “Hello World!”를 출력
2016-03-02 11
![Page 12: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/12.jpg)
Windows OCaml Top IDE 설치
122016-03-02
![Page 13: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/13.jpg)
다운로드 (1/2)
http://www.typerex.org/ocaml-top.html 접속
– Download 클릭
2016-03-02 13
![Page 14: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/14.jpg)
다운로드 (2/2)
OCaml-Top Release 1.1.0 버전 다운로드
– 1.1.1은 에러가 발생할 수 있음
– ocaml-top-1.1.0-Windows.msi 클릭
2016-03-02 14
![Page 15: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/15.jpg)
설치 (1/4)
Setup Wizard
2016-03-02 15
![Page 16: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/16.jpg)
설치 (2/4)
설치 경로 변경
2016-03-02 16
![Page 17: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/17.jpg)
설치 (3/4)
설치 중…
2016-03-02 17
![Page 18: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/18.jpg)
설치 (4/4)
설치 완료
2016-03-02 18
![Page 19: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/19.jpg)
실행 화면
2016-03-02 19
![Page 20: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/20.jpg)
사용 방법 (1/2)
왼쪽 화면에 소스 코드를 입력하여 실행하면 오른쪽에 나타남
2016-03-02 20
실행
![Page 21: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/21.jpg)
사용 방법 (2/2)
단축키(출처: http://www.typerex.org/ocaml-top.html)
2016-03-02 21
![Page 22: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/22.jpg)
OCaml 설치(Linux)
222016-03-02
![Page 23: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/23.jpg)
OCaml for Linux (1/4)
Linux 환경에서 OCaml을 사용하는 방법
– OPAM을 설치하여 사용
OPAM 설치
– OPAM은 각종 Linux 환경을 지원(Debian, Fedora, CentOS, Ubuntu, …, etc.)
– 또한, 서로 다른 Linux 환경에서도 쉽게 설치할 수 있는 쉘스크립트도 지원
– 계속…
2016-03-02 23
OPAMOPAM은 OCaml을 위한 패키지 매니저이며, OCaml compiler 및 OCaml 패키지를 설치하는 권장하는 방법이다. 또한, OPAM은 동시에 설치된 다양한 버전의 OCaml을 다루거나, 서로 다른 프로젝트들의 패키지 의존성 충돌을 다루는 등의 다른 방법에서는 불가능한 특징들을 지원한다.
![Page 24: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/24.jpg)
OCaml for Linux (2/4)
OPAM 설치
$ wget https://raw.githubusercontent.com/ocaml/opam/master/shell/opam_installer.sh
$ sh ./opam_installer.sh /usr/local/bin
2016-03-02 24
![Page 25: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/25.jpg)
OCaml for Linux (3/4)
OPAM 설정 및 패키지 설치
$ opam init
$ eval `opam config env`
$ opam install core utop ounit
2016-03-02 25
![Page 26: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/26.jpg)
OCaml for Linux (4/4)
OCaml 사용
$ ocaml
# print_endline “Hello World!”;;
2016-03-02 26
현재 cs1 서버에 OCaml이 설치되어있으니설치과정은 생략하고 사용하세요.
![Page 27: Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운(ssw5176@kangwon.ac.kr)](https://reader030.fdocuments.us/reader030/viewer/2022011921/60359c7d288dba2aef0d0aa7/html5/thumbnails/27.jpg)
Linux OCaml Top IDE 설치
https://www.typerex.org/ocaml-top.html 참조...
2016-03-02 27