27
Programming Languages OCaml 설치 2016년 봄학기 손시운 ([email protected] ) 담당 교수: 임현승 교수님

Programming Languages OCaml 설치cs.kangwon.ac.kr/~swson/16Spring_PL/lecture_notes/P-01... · 2016. 6. 7. · Programming Languages OCaml 설치 2016년봄학기 손시운([email protected])

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 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)

Programming Languages

OCaml 설치

2016년 봄학기

손시운 ([email protected])

담당 교수: 임현승 교수님

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

다운로드 (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)

다운로드 (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)

설치 (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)

설치 (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)

설치 (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)

설치 (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)

실행 화면

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)

사용 방법 (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)

사용 방법 (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)

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)

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)

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)

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)

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)

Linux OCaml Top IDE 설치

https://www.typerex.org/ocaml-top.html 참조...

2016-03-02 27