search

arjunguha / ocaml-z3

16 stars 11 forks source link

Install with OPAM instructions do not work #2

Open Reilithion opened 7 years ago

Reilithion commented 7 years ago

I wasn't able to install ocaml-z3 via the instructions in the README. When attempting to add the repo, I see the following:

$ opam repository add plasma-opam https://github.com/plasma-umass/ocaml-repository.git
Processing: [plasma-opam: git]Username for 'https://github.com': 
Password for 'https://github.com': 
Processing: [plasma-opam: git]Username for 'https://github.com': 
Password for 'https://github.com': 
[ERROR] Could not fetch repo

I naively tried to add https://github.com/plasma-umass/ocaml-z3.git and then install ocaml-z3, but that fails too:

$ opam repository add plasma-opam https://github.com/plasma-umass/ocaml-z3.git
[plasma-opam] https://github.com/plasma-umass/ocaml-z3.git updated

$ opam install ocaml-z3
[ERROR] No package named ocaml-z3 found.
baxtersa commented 7 years ago

Ah. We need to update the readme with new instructions.

In the meantime, could you try

opam pin add ocaml-z3 https://github.com/plasma-umass/ocaml-z3.git
opam install ocaml-z3

Let me know if that doesn't work!

Reilithion commented 7 years ago

Yes. Once I have all the dependencies, this seems to work.