Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Compilation failure on local machine as well as dockerfile image #477

Open
zhartov opened this issue Jan 2, 2025 · 1 comment
Open

Compilation failure on local machine as well as dockerfile image #477

zhartov opened this issue Jan 2, 2025 · 1 comment

Comments

@zhartov
Copy link

zhartov commented Jan 2, 2025

[ERROR] The compilation of ocaml-base-compiler.5.4.0+trunk failed at "sh invoke-configure.sh /home/opam/sandmark/_opam/5.4.0+trunk linux".

ERROR while compiling ocaml-base-compiler.5.4.0+trunk
context 2.3.0 | linux/x86_64 | | file:///home/opam/sandmark/dependencies
path ~/sandmark/_opam/5.4.0+trunk/.opam-switch/build/ocaml-base-compiler.5.4.0+trunk
command /usr/bin/sh invoke-configure.sh /home/opam/sandmark/_opam/5.4.0+trunk linux
exit-code 127
env-file ~/sandmark/_opam/log/ocaml-base-compiler-51640-db0003.env
output-file ~/sandmark/_opam/log/ocaml-base-compiler-51640-db0003.out
output
/usr/bin/sh: 0: Can't open invoke-configure.sh"

[ERROR] The compilation of ocaml-base-compiler.5.4.0+trunk failed at "sh invoke-configure.sh /home/opam/sandmark/_opam/5.4.0+trunk linux".
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved runtime_events_tools.~dev (no changes)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.1.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved thread-table.1.0.0 (cached)
-> retrieved topkg.1.0.7 (cached)
-> retrieved uuidm.0.9.9 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved uri.4.1.0 (cached)
-> retrieved zarith.1.10 (cached)
-> retrieved yojson.2.2.2 (cached)
-> retrieved owl.1.1, owl-base.1.1 (cached)

@zhartov zhartov changed the title "bash run_all_parallel.sh" fails to run in an image created from the docker file in the repo, can replicate on local machine running Manjaro as well Compilation failure on local machine as well as dockerfile image Jan 2, 2025
@Lugrim
Copy link

Lugrim commented Feb 7, 2025

Could reproduce with 5.1.0+stable. First, it seems like 5.1.0+trunk (as mentionned in run_all_serial.sh) does not exist anymore. It looks like a script is missing?

Commands to reproduce on a nearly pristine debian stable install:

git clone https://github.com/ocaml-bench/sandmark.git
cd sandmark
sed -i 's/trunk/stable/' run_all_serial.sh
bah run_all_serial.sh

Gives the following:

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed base-bigarray.base
∗ installed base-threads.base
∗ installed base-unix.base
⬇ retrieved ocaml-base-compiler.5.1.0+stable  (https://github.com/ocaml/ocaml/archive/5b7a1d16282bb8bd789095b38483201a3b24a549.zip)
[ERROR] The compilation of ocaml-base-compiler.5.1.0+stable failed at "sh invoke-configure.sh
        /home/user/sandmark/_opam/5.1.0+stable linux".

#=== ERROR while compiling ocaml-base-compiler.5.1.0+stable ===================#
# context     2.3.0 | linux/x86_64 |  | file:///home/user/sandmark/dependencies
# path        ~/sandmark/_opam/5.1.0+stable/.opam-switch/build/ocaml-base-compiler.5.1.0+stable
# command     /usr/bin/sh invoke-configure.sh /home/user/sandmark/_opam/5.1.0+stable linux
# exit-code   2
# env-file    ~/sandmark/_opam/log/ocaml-base-compiler-2055713-e244c7.env
# output-file ~/sandmark/_opam/log/ocaml-base-compiler-2055713-e244c7.out
### output ###
# /usr/bin/sh: 0: cannot open invoke-configure.sh: No such file

Here get the full output.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants