Closed smondet closed 8 years ago
By default I get
#=== ERROR while installing nocrypto.0.5.3 ====================================# # opam-version 1.2.2 (5f4b54942903acdcb37daa54559f69a86db137a8) # os linux # command ./configure --prefix /home/opam/.opam/4.03.0+flambda --enable-lwt --disable-xen --disable-solo5 # path /home/opam/.opam/4.03.0+flambda/build/nocrypto.0.5.3 # compiler 4.03.0+flambda # exit-code 2 # env-file /home/opam/.opam/4.03.0+flambda/build/nocrypto.0.5.3/nocrypto-24669-d8a4ae.env # stdout-file /home/opam/.opam/4.03.0+flambda/build/nocrypto.0.5.3/nocrypto-24669-d8a4ae.out # stderr-file /home/opam/.opam/4.03.0+flambda/build/nocrypto.0.5.3/nocrypto-24669-d8a4ae.err ### stdout ### # oasis setup # Makefile:39: recipe for target 'setup.ml' failed ### stderr ### # E: Unknown flag 'modernity' # make: *** [setup.ml] Error 1 # Cannot find file ./setup.ml.
But if I:
opam pin add oasis 0.4.6
then opam install nocrypto works.
opam install nocrypto
Should be better now. There's no Oasis.
By default I get
But if I:
then
opam install nocrypto
works.