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

Dune build suggests running "make" and "make install" or "sudo make install" #4

Open
reynir opened this issue Aug 31, 2022 · 0 comments

Comments

@reynir
Copy link
Member

reynir commented Aug 31, 2022

When running dune build I get the following output

$ dune build
[...]
binary ocaml: found in /home/reynir/.opam/4.10.1/bin
binary ocamlc: found in /home/reynir/.opam/4.10.1/bin
binary ocamldep: found in /home/reynir/.opam/4.10.1/bin
binary ocamlmklib: found in /home/reynir/.opam/4.10.1/bin
binary ocamldoc: found in /home/reynir/.opam/4.10.1/bin
binary gcc: found in /usr/bin
binary ocamlopt: found in /home/reynir/.opam/4.10.1/bin
checking compilation with gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC : working
include caml/mlvalues.h: found
library dynlink.cmxa: found
binary ocamlfind: found in /home/reynir/.opam/4.10.1/bin
OCaml's word size is 64
binary uname: found in /usr/bin
include gmp.h: found
library gmp: found
OCaml supports -bin-annot to produce documentation

detected configuration:

  native-code:          yes
  dynamic linking:      yes
  defines:              -DHAS_GMP 
  libraries:             -lgmp
  C options:            
  installation path:    /home/reynir/.opam/4.10.1/lib
  installation method   findlib

configuration successful!
now type "make" to build
then type "make install" or "sudo make install" to install

it's especially confusing when running make when building a mirage unikernel to get this message. Perhaps it's enough to redirect the output:

Zarith/dune

Lines 24 to 29 in f9f300a

(rule
(target Makefile)
(deps configure config.guess env)
(action
(bash
"env %{read:env} ./configure --ocamllibdir %{ocaml-config:standard_library}")))

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

1 participant