Closed rgrinberg closed 7 years ago
Ci is failing:
#=== ERROR while installing crunch.2.0.0 ======================================#
# opam-version 1.2.2 (58ef3b8213100953848d362f7120a30356d7f77d)
# os linux
# command jbuilder runtest -p crunch -j 4
# path /home/opam/.opam/4.03.0/build/crunch.2.0.0
# compiler 4.03.0
# exit-code 1
# env-file /home/opam/.opam/4.03.0/build/crunch.2.0.0/crunch-9189-1872ec.env
# stdout-file /home/opam/.opam/4.03.0/build/crunch.2.0.0/crunch-9189-1872ec.out
# stderr-file /home/opam/.opam/4.03.0/build/crunch.2.0.0/crunch-9189-1872ec.err
### stderr ###
# Error: External library "bos" not found.
# -> required by "test/jbuild (context default)"
# Hint: try: jbuilder external-lib-deps --missing -p crunch @runtest
so maybe bos
was useful after all :-) or it needs to be removed from the jbuild
files too.
Neither bos nor rresult are needed anymore. Thanks for the review @samoht