search

Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
BSD 2-Clause "Simplified" License
80 stars 17 forks source link

Files missing while installing on Mac OS #16

Closed elhaddadyacine closed 5 years ago

elhaddadyacine commented 5 years ago

Hi, I had some issues while installing dolmen on Mac OS. (the error message didn't appear on debian 9).

Is it a problem with parallel compilation since it's requesting non-existing files?

opam install dolmen

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><>  🐫 
[dolmen.dev] no changes from git+https://github.com/Gbury/dolmen.git

The following actions will be performed:
  βˆ— install dolmen dev*

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
[ERROR] The compilation of dolmen failed at "/Users/HOME_DIRECTOTY/.opam/opam-init/hooks/sandbox.sh build dune build -p dolmen -j 4".

#=== ERROR while compiling dolmen.dev =========================================#
# context     2.0.0 | macos/x86_64 | ocaml-base-compiler.4.07.1 | pinned(git+https://github.com/Gbury/dolmen.git#926e50df)
# path        ~/.opam/4.07.1/.opam-switch/build/dolmen.dev
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p dolmen -j 4
# exit-code   1
# env-file    ~/.opam/log/dolmen-94435-d8a4ae.env
# output-file ~/.opam/log/dolmen-94435-d8a4ae.out
### output ###
# Error: tokens_dimacs.mly: No such file or directory
# [...]
# (cd _build/default && /Users/HOME_DIRECTOTY/.opam/4.07.1/bin/menhir --explain --table --external-tokens Tokens_iCNF tokens_iCNF.mly src/languages/icnf/parseiCNF.mly --base src/languages/icnf/parseiCNF --infer-write-query src/languages/icnf/parseiCNF__mock.ml.mock)
# Error: tokens_iCNF.mly: No such file or directory
#       menhir src/languages/smtlib/parseSmtlib__mock.ml.mock (exit 1)
# (cd _build/default && /Users/HOME_DIRECTOTY/.opam/4.07.1/bin/menhir --explain --table --external-tokens Tokens_smtlib tokens_smtlib.mly src/languages/smtlib/parseSmtlib.mly --base src/languages/smtlib/parseSmtlib --infer-write-query src/languages/smtlib/parseSmtlib__mock.ml.mock)
# Error: tokens_smtlib.mly: No such file or directory
#       menhir src/languages/tptp/parseTptp__mock.ml.mock (exit 1)
# (cd _build/default && /Users/HOME_DIRECTOTY/.opam/4.07.1/bin/menhir --explain --table --external-tokens Tokens_tptp tokens_tptp.mly src/languages/tptp/parseTptp.mly --base src/languages/tptp/parseTptp --infer-write-query src/languages/tptp/parseTptp__mock.ml.mock)
# Error: tokens_tptp.mly: No such file or directory
#       menhir src/languages/zf/parseZf__mock.ml.mock (exit 1)
# (cd _build/default && /Users/HOME_DIRECTOTY/.opam/4.07.1/bin/menhir --explain --table --external-tokens Tokens_zf tokens_zf.mly src/languages/zf/parseZf.mly --base src/languages/zf/parseZf --infer-write-query src/languages/zf/parseZf__mock.ml.mock)
# Error: tokens_zf.mly: No such file or directory

<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
β”Œβ”€ The following actions failed
β”‚ Ξ» build dolmen dev
└─ 
╢─ No changes have been performed
Gbury commented 5 years ago

I think this is a duplicate of #15

Gbury commented 5 years ago

The latest commit on master should fix your problem, can you try it ?

elhaddadyacine commented 5 years ago

Yes, it works now. Thanks @Gbury