digestif icon indicating copy to clipboard operation
digestif copied to clipboard

Build error while running `make deps` with mirage/mirage-www

Open davisuga opened this issue 2 years ago • 1 comments

I just cloned the mirageos website repo and run make switch (Which worked fine) and then make deps Output:

#=== ERROR while compiling digestif.1.1.1 =====================================#
# context     2.1.0 | linux/x86_64 | ocaml.4.14.0 | git+https://github.com/mirage/mirage-dev.git
# path        ~/gits/mirage-www/_opam/.opam-switch/build/digestif.1.1.1
# command     ~/.opam/opam-init/hooks/sandbox.sh build ./install/install.ml
# exit-code   2
# env-file    ~/.opam/log/digestif-238769-bd9bc9.env
# output-file ~/.opam/log/digestif-238769-bd9bc9.out
### output ###
# ./install/install.ml: 3: let: not found
# ./install/install.ml: 4: freestanding_linkopts = "-l:libdigestif_freestanding_stubs.a": not found
# ./install/install.ml: 6: let: not found
# ./install/install.ml: 7: match: not found
# ./install/install.ml: 8: Syntax error: "|" unexpected

OS: Linux Mint 20.02 Uma OCaml: 4.14 Opam: 2.1.0 Dune: 3.0.3

davisuga avatar May 11 '22 13:05 davisuga

It seems that this instruction: https://github.com/mirage/digestif/blob/7adc43cc8d1d80c2d9104dabd5730425b1b7ace8/digestif.opam#L32

Is not executed properly with OCaml. Not sure where is the error. I will try to look deeper and fix your issue.

dinosaure avatar Jul 19 '22 11:07 dinosaure

@RyanGibb I suspect that you currently trying to compile mirageos (on another system) and I would like to know if you got the same issue as @davisuga.

dinosaure avatar Oct 03 '22 16:10 dinosaure

Hi @dinosaure. I did not have this issue, but I was only compiling the mirage unikernel .

Actually I get a bunch of issues with external dependencies even at the make switch phase on NixOS.

RyanGibb avatar Oct 03 '22 19:10 RyanGibb

Hmmhmm, I think the best is just to delete such code. I trying to figure out how long I can keep it and break the support of MirageOS 3 but this code is bad in anyway I will just delete it. Thanks for your patience @davisuga and hope that I did not block anything.

dinosaure avatar Oct 08 '22 18:10 dinosaure