search

cil-project / cil

C Intermediate Language
Other
348 stars 86 forks source link

opam package for OCaml 4.02? #18

Open vogler opened 9 years ago

vogler commented 9 years ago

It would be nice to have an opam package for OCaml >= 4.02, since the current one leads to segmentation faults (and cilly doesn't terminate). Also, for the develop-branch, I had to add package(cil.all-features) to my _tags file, which isn't available using the opam package. Could we make that compatible somehow?

charlesxiong commented 9 years ago

Yeah,I have the same question about compiling goblint . Can anyone solve this ?

vogler commented 9 years ago

Concerning Goblint: You should be able to run make setup which pins cil to the develop branch. You need at least opam 1.2.0 for this to work. If you still have problems, open an issue there.

charlesxiong commented 9 years ago

If I run make setup to compile goblint(using opam pin -y add cil https://github.com/kerneis/cil.git#develop) , it will produce an error How do I modify the cil version ?

[cil] Fetching https://github.com/kerneis/cil/tree/develop
# opam-version 1.2.0
# os           linux
# command      git fetch origin +HEAD:refs/remotes/opam-ref
# path         /home/charles/.opam/4.02.1/packages.dev/cil
# exit-code    128
# env-file     /home/charles/.opam/log/log-28148-6d07ae.env
# stdout-file  /home/charles/.opam/log/log-28148-6d07ae.out
# stderr-file  /home/charles/.opam/log/log-28148-6d07ae.err
### stderr ###
# fatal: repository 'https://github.com/kerneis/cil/tree/develop/' not found
vogler commented 9 years ago

Haha, interesting. It should say [cil] Fetching https://github.com/kerneis/cil.git#develop. What shell is your /bin/sh? Apparently bash has no problem with the #. Anyhow, I fixed make.sh by quoting the URL.

charlesxiong commented 9 years ago

Still the same question if I quote the URL . My machine is Ubuntu 14.10 , bash shell . Actually If I use opam pin -y add cil "https://github.com/kerneis/cil#develop" .The url still redirect to the [cil] Fetching https://github.com/kerneis/cil/tree/develop and produce an error .

kerneis commented 9 years ago

A release is hopefully coming, but in the meantime, develop is the default branch on github anyway, so you should be able to just give it github.com/kerneis/cil. Or did I miss something?

vogler commented 9 years ago

You're right, it also works without specifying the branch. I don't know why it doesn't work in your case, but without the branch it should be fine:

$ git clone https://github.com/kerneis/cil/tree/develop
Cloning into 'develop'...
fatal: repository 'https://github.com/kerneis/cil/tree/develop/' not found

$ git clone https://github.com/kerneis/cil/
Cloning into 'cil'...
charlesxiong commented 9 years ago

Yeah , knowing the small detail that cil default branch is develop ,I compiled the goblint and it worked . Thank you all for answering my questions - vogler and kerneis . ^-^