search

snu-sf-class / pl201602

SNU 2016 Fall 4190.310 Programming Language
22 stars 10 forks source link

for those having problems with installing coq on linux #4

Open han-minhee opened 8 years ago

han-minhee commented 8 years ago

I'm using ubuntu 16.04 64 bit, and as it doesn't provide the latest version of coq, I had some problems installing coq.8.5.2, but eventually got it working when using the opam from the distribution repo, it failed to install 8.5.2, and I still don't know why. I wish others don't suffer as I did.

here's what i did:

  1. install coq and ocaml dev packages via the distribution's package system. for me, it was using "sudo apt install coq liblablgtksourceview2-ocaml-dev" command on terminal.
  2. remove the installed coq : "sudo apt remove coq"
  3. install opam according to description provided in https://github.com/ocaml/opam
  4. download the coq tarball https://coq.inria.fr/distrib/V8.5pl2/files/coq-8.5pl2.tar.gz
  5. extract the tarball, and open terminal in the extracted directory for GNOME DE, right click on the nautilus will show "open in termianl" option
  6. type these in following order: ./configure -coqide opt make sudo make install during the installation, don't change anything.
  7. done. you can run coqide by typing 'coqide' in terminal
jeehoonkang commented 8 years ago

Thank you for a detailed explanation! I updated the README: https://github.com/snu-sf-class/pl201602/commit/38a519f294196ee973ade555eee66c688f7efb94

May I ask if why did you install coqide from tarball? Is opam install coqide.8.5.2 not working?

jeehoonkang commented 8 years ago

Also: why not just sudo apt install liblablgtksourceview2-ocaml-dev instead of installing & removing coq?

han-minhee commented 8 years ago

I don't remember for now, but using opam to install coq failed for some reason. It was something related to opam or ocaml version, I guess. and for me, installing just the dev packages missed some packages needed. maybe there was something wrong with my linux setup, but can't confirm.

jeehoonkang commented 8 years ago

I see.. I will wait for other students to share their experience, and try to figure out what went wrong in the installation manual. Thank you one more time!