xapantu / counting-smt

1 stars 1 forks source link

ounit? #1

Closed dddejan closed 8 years ago

dddejan commented 8 years ago

How do I install ounit on Ubuntu?

dejan@pup:~/workspace/counting-smt$ make tests
ocamlbuild solver.native -use-ocamlfind
Finished, 29 targets (29 cached) in 00:00:00.
ocamlbuild tests.native -use-ocamlfind
+ ocamlfind ocamldep -package ounit -package unix -modules tests.ml > tests.ml.depends
ocamlfind: Package `ounit' not found
Command exited with code 2.
Compilation unsuccessful after building 1 target (0 cached) in 00:00:00.
make: *** [tests] Error 10
mattiasdrp commented 8 years ago

Dejan, do you have OCaml installed with OPAM or with apt-get ?

dddejan commented 8 years ago

Apt-get

xapantu commented 8 years ago

It looks like sometimes it is called oUnit by ocamlfind, I've changed that in the _tags file, maybe it helps. I will investigate that.

On 06/06/2016 20:53, Dejan Jovanović wrote:

Apt-get

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/xapantu/counting-smt/issues/1#issuecomment-224166395, or mute the thread https://github.com/notifications/unsubscribe/ABbI05zTkJQFaRZWiAxFuDt-UUuIoCAlks5qJOtVgaJpZM4IvbKz.

mattiasdrp commented 8 years ago

As a global advice, you should install OPAM and then install everything from it when it's related to OCaml because it's a great tool and it's the thing that all OCaml user use. ;-)

dddejan commented 8 years ago
dejan@raven:~/workspace/counting-smt$ opam install ounit
[NOTE] Package ounit is already installed (current version is 2.0.0).
dejan@raven:~/workspace/counting-smt$ ounit
No command 'ounit' found, did you mean:
 Command 'runit' from package 'runit' (universe)
 Command 'junit' from package 'junit' (universe)
ounit: command not found
dejan@raven:~/workspace/counting-smt$ oUnit
oUnit: command not found
dddejan commented 8 years ago

Ok, figured it out.