Build broken on Linux/Ubuntu
Hi there
I'm trying to build maskVerif on Ubuntu Linux (Linux 5.7.19-050719-generic #202008270830 SMP x86_64 GNU/Linux) and am running into some link-time problems.
Running:
git clone git@gitlab.com:benjgregoire/maskverif.git
cd maskverif
make -BGives:
ocamlbuild -use-ocamlfind -lflags -cclib,-lrt -tag debug main.native
Finished, 0 targets (0 cached) in 00:00:00.
+ ocamlfind ocamlc -rectypes -c -g -thread -w Y -w Z -package zarith,unix,menhirLib,ocamlgraph -I src -o src/checker.cmo src/checker.ml
File "src/checker.ml", line 112, characters 13-16:
Warning 27: unused variable opt.
+ ocamlfind ocamlopt -rectypes -cclib -lrt -linkpkg -g -thread -package zarith,unix,menhirLib,ocamlgraph -I src src/util.cmx src/expr.cmx src/pexpr.cmx src/poly.cmx src/poly_solve.cmx src/shrcnt.cmx src/state.cmx src/checker.cmx src/ilang_ast.cmx src/ilang_parser.cmx src/ilang_lexer.cmx src/parsetree.cmx src/prog.cmx src/ilang.cmx src/parser.cmx src/lexer.cmx src/main.cmx src/shrcnt_low.o -o src/main.native
/usr/bin/ld: src/shrcnt_low.o: in function `shrcnt_destroy':
/home/work/tools/maskverif/_build/src/shrcnt_low.c:74: undefined reference to `shm_unlink'
/usr/bin/ld: src/shrcnt_low.o: in function `shrcnt_create':
/home/work/tools/maskverif/_build/src/shrcnt_low.c:99: undefined reference to `shm_open'
/usr/bin/ld: /home/work/tools/maskverif/_build/src/shrcnt_low.c:95: undefined reference to `shm_unlink'
collect2: error: ld returned 1 exit status
File "caml_startup", line 1:
Error: Error during linking
Command exited with code 2.
Compilation unsuccessful after building 66 targets (44 cached) in 00:00:01.
make: *** [Makefile:22: native] Error 10As far as I can work out, this is a problem with the "-lrt" flag not being properly placed at the end of the linker arguments (as can happen with GCC style compilation commands), but I can't understand how to make this work for an OCaml compilation flow. Any search results are quickly washed out by people telling me that ocamlbuild has been replaced by dune as well.
If you can point me at how to correct the command line and get maskVerif to build, that would be fantastic. I can see the Makefile trying to add "-lrt" based on whether I am running "Linux" or not, but force adding those flags doesn't help either.
Software/library versions from opam list are
work@ben-TF:~/tools/maskverif$ opam list
# Packages matching: installed
# Name # Installed # Synopsis
base-bigarray base
base-bytes base Bytes library distributed with the OCaml compiler
base-threads base
base-unix base
base64 3.4.0 Base64 encoding for OCaml
biniou 1.2.1 Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve
conf-findutils 1 Virtual package relying on findutils
conf-gmp 3 Virtual package relying on a GMP lib system installation
conf-m4 1 Virtual package relying on m4
conf-perl 1 Virtual package relying on perl
conf-pkg-config 1.3 Virtual package relying on pkg-config installation
conf-zlib 1 Virtual package relying on zlib
cppo 1.6.7 Code preprocessor like cpp for OCaml
csexp 1.3.2 Parsing and printing of S-expressions in Canonical form
dune 2.7.1 Fast, portable, and opinionated build system
dune-configurator 2.7.1 Helper library for gathering system configuration
easy-format 1.3.2 High-level and functional interface to the Format module of the OCaml standard library
lem 2020-06-03 Lem is a tool for lightweight executable mathematics
linenoise 1.3.1 Lightweight readline alternative
linksem 0.7 A formalisation of the core ELF file format written in Lem
menhir 20201216 An LR(1) parser generator
menhirLib 20201216 Runtime support library for parsers generated by Menhir
menhirSdk 20201216 Compile-time library for auxiliary tools related to Menhir
num 1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml 4.06.1 The OCaml compiler (virtual package)
ocaml-base-compiler 4.06.1 Official 4.06.1 release
ocaml-config 1 OCaml Switch Configuration
ocaml-secondary-compiler 4.08.1-1 OCaml 4.08.1 Secondary Switch Compiler
ocamlbuild 0.14.0 OCamlbuild is a build system with builtin rules to easily build most OCaml projects.
ocamlfind 1.8.1 A library manager for OCaml
ocamlfind-secondary 1.8.1 ocamlfind support for ocaml-secondary-compiler
ocamlgraph 2.0.0 A generic graph library for OCaml
omd 1.3.1 A Markdown frontend in pure OCaml.
ott 0.31 A tool for writing definitions of programming languages and calculi
pprint 20200410 A pretty-printing combinator library and rendering engine
result 1.5 Compatibility Result module
sail 0.13 Sail is a language for describing the instruction semantics of processors
stdlib-shims 0.1.0 Backport some of the new stdlib features to older compiler
yojson 1.7.0 Yojson is an optimized parsing and printing library for the JSON format
zarith 1.11 Implements arithmetic and logical operations over arbitrary-precision integersMany thanks, Ben