Building on summer
(from freebsd-ocaml-5.0)
2023-09-17 04:48.48 ---> using "b0ee167c73857b60ecf6c06eff6bbe96857a02ac84fefd2b9807cb2eea16bf97" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam"))
2023-09-17 04:48.48 ---> using "58da31f76f3dd28576bb2b11a05c1473a2cbc0bc8e959f83414ab7001888e94f" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q b61304c6db353e679a36720d8b914b029d6fbc0c"))
2023-09-17 04:48.49 ---> using "8d3da13405344b39e752afb838c3c735052c4eec4b16365a8f42fa332f48db13" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-09-17 04:48.49 ---> using "8116be61a4c735c894d82723f81082e77bc159c30ffe9a35227f19965692cf33" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2023-09-17 04:48.49 ---> using "d74ca11c81cb94850460e040b430ca34af571abb56e8a7a8f872c85baa4c4e5d" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-09-17 04:48.49 ---> using "c0b3aedd2094499d94806c83a2a6d025c18f903b4e4191cfd35f3ee66a43d1bd" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"lp-gurobi.0.4.0\"\
\nopam install -vy \"lp-gurobi.0.4.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"lp-gurobi.0.4.0\" | grep -q '\"freebsd\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] lp-gurobi.0.4.0 is not installed.
Nothing to do.
The following actions will be performed:
- install conf-pkg-config 3 [required by ctypes-foreign]
- install dune 3.10.0 [required by lp-gurobi]
- install conf-libffi 2.0.0 [required by ctypes-foreign]
- install stdlib-shims 0.3.0 [required by integers]
- install menhirSdk 20230608 [required by menhir]
- install menhirLib 20230608 [required by menhir]
- install csexp 1.5.2 [required by dune-configurator]
- install bigarray-compat 1.1.0 [required by ctypes]
- install integers 0.7.0 [required by ctypes]
- install menhir 20230608 [required by lp]
- install dune-configurator 3.10.0 [required by ctypes, ctypes-foreign]
- install lp 0.4.0 [required by lp-gurobi]
- install ctypes 0.21.1 [required by lp-gurobi]
- install ctypes-foreign 0.21.1 [required by lp-gurobi]
- install lp-gurobi 0.4.0
===== 15 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/45:
Processing 2/45:
Processing 3/45:
Processing 4/45:
Processing 5/45:
Processing 6/45: [conf-pkg-config: pkg-config]
-> retrieved ctypes.0.21.1 (cached)
Processing 7/45: [conf-pkg-config: pkg-config]
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/usr/lib entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.3
Processing 7/45:
-> installed conf-pkg-config.3
Processing 8/45:
Processing 9/45: [conf-libffi: pkg-config libffi]
-> retrieved csexp.1.5.2 (cached)
Processing 10/45: [conf-libffi: pkg-config libffi]
-> compiled conf-libffi.2.0.0
Processing 10/45:
-> installed conf-libffi.2.0.0
Processing 11/45:
-> retrieved ctypes-foreign.0.21.1 (cached)
Processing 12/45:
-> retrieved dune.3.10.0 (cached)
Processing 13/45:
Processing 14/45: [dune: ocaml 15]
-> retrieved integers.0.7.0 (cached)
Processing 15/45: [lp.0.4.0: http] [dune: ocaml 15]
-> retrieved dune-configurator.3.10.0 (cached)
Processing 16/45: [lp.0.4.0: http] [lp-gurobi.0.4.0: http] [dune: ocaml 15]
Processing 16/45: [lp-gurobi.0.4.0: http] [dune: ocaml 15]
-> retrieved bigarray-compat.1.1.0 (cached)
Processing 17/45: [lp-gurobi.0.4.0: http] [dune: ocaml 15]
-> retrieved lp.0.4.0 (https://github.com/ktahar/ocaml-lp/archive/0.4.0.tar.gz)
Processing 18/45: [lp-gurobi.0.4.0: http] [dune: ocaml 15]
-> retrieved menhir.20230608 (cached)
Processing 19/45: [lp-gurobi.0.4.0: http] [dune: ocaml 15]
-> retrieved menhirLib.20230608 (cached)
Processing 20/45: [lp-gurobi.0.4.0: http] [dune: ocaml 15]
-> retrieved menhirSdk.20230608 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
Processing 20/45: [dune: ocaml 15]
-> retrieved lp-gurobi.0.4.0 (https://github.com/ktahar/ocaml-lp/archive/0.4.0.tar.gz)
+ /usr/home/opam/.opam/4.14.1/bin/ocaml "boot/bootstrap.ml" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.10.0)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 15
-
Processing 20/45: [dune: ./_boot/dune.exe build]
+ /usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.10.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.10.0)
-> compiled dune.3.10.0
-> installed dune.3.10.0
Processing 22/45: [bigarray-compat: dune build]
Processing 23/45: [bigarray-compat: dune build] [csexp: dune build]
Processing 24/45: [bigarray-compat: dune build] [csexp: dune build] [menhirLib: dune build]
Processing 25/45: [bigarray-compat: dune build] [csexp: dune build] [menhirLib: dune build] [menhirSdk: dune build]
Processing 26/45: [bigarray-compat: dune build] [csexp: dune build] [menhirLib: dune build] [menhirSdk: dune build] [stdlib-shims: dune build]
-> compiled csexp.1.5.2
Processing 26/45: [bigarray-compat: dune build] [menhirLib: dune build] [menhirSdk: dune build] [stdlib-shims: dune build]
-> installed csexp.1.5.2
Processing 27/45: [bigarray-compat: dune build] [menhirLib: dune build] [menhirSdk: dune build] [stdlib-shims: dune build]
Processing 28/45: [bigarray-compat: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [stdlib-shims: dune build]
-> compiled stdlib-shims.0.3.0
Processing 28/45: [bigarray-compat: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build]
-> installed stdlib-shims.0.3.0
Processing 29/45: [bigarray-compat: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build]
Processing 30/45: [bigarray-compat: dune build] [dune-configurator: rm] [integers: dune build] [menhirLib: dune build] [menhirSdk: dune build]
-> compiled menhirSdk.20230608
Processing 30/45: [bigarray-compat: dune build] [dune-configurator: rm] [integers: dune build] [menhirLib: dune build]
-> installed menhirSdk.20230608
Processing 31/45: [bigarray-compat: dune build] [dune-configurator: rm] [integers: dune build] [menhirLib: dune build]
Processing 31/45: [bigarray-compat: dune build] [dune-configurator: dune build] [integers: dune build] [menhirLib: dune build]
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20230608
Processing 31/45: [bigarray-compat: dune build] [dune-configurator: dune build] [integers: dune build]
-> installed menhirLib.20230608
Processing 32/45: [bigarray-compat: dune build] [dune-configurator: dune build] [integers: dune build]
Processing 33/45: [bigarray-compat: dune build] [dune-configurator: dune build] [integers: dune build] [menhir: dune build]
-> compiled bigarray-compat.1.1.0
Processing 33/45: [dune-configurator: dune build] [integers: dune build] [menhir: dune build]
-> installed bigarray-compat.1.1.0
Processing 34/45: [dune-configurator: dune build] [integers: dune build] [menhir: dune build]
-> compiled integers.0.7.0
Processing 34/45: [dune-configurator: dune build] [menhir: dune build]
-> installed integers.0.7.0
Processing 35/45: [dune-configurator: dune build] [menhir: dune build]
-> compiled dune-configurator.3.10.0
Processing 35/45: [menhir: dune build]
-> installed dune-configurator.3.10.0
Processing 36/45: [menhir: dune build]
Processing 37/45: [ctypes: dune build] [menhir: dune build]
Processing 37/45: [ctypes: dune install] [menhir: dune build]
-> compiled ctypes.0.21.1
Processing 37/45: [menhir: dune build]
-> installed ctypes.0.21.1
Processing 38/45: [menhir: dune build]
Processing 39/45: [ctypes-foreign: dune build] [menhir: dune build]
Processing 39/45: [ctypes-foreign: dune install] [menhir: dune build]
-> compiled ctypes-foreign.0.21.1
Processing 39/45: [menhir: dune build]
-> installed ctypes-foreign.0.21.1
Processing 40/45: [menhir: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "menhir" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/menhir.20230608)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 41 out of 96 symbols keep track of their end position.
- The StackLang code contains 3973 instructions in 267 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled menhir.20230608
-> installed menhir.20230608
Processing 42/45: [lp: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "lp" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/lp.0.4.0)
- (cd _build/default && /usr/home/opam/.opam/4.14.1/bin/menhir --log-automaton 2 --table src/lp/parser.mly --base src/lp/parser --infer-read-reply src/lp/parser__mock.mli.inferred)
- Built an LR(0) automaton with 94 states.
- The construction mode is pager.
- Built an LR(1) automaton with 94 states.
-> compiled lp.0.4.0
-> installed lp.0.4.0
Processing 44/45: [lp-gurobi: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "lp-gurobi" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/lp-gurobi.0.4.0)
-> compiled lp-gurobi.0.4.0
-> installed lp-gurobi.0.4.0
Done.
2023-09-17 04:50.49 ---> saved as "e0d6900ab87d258e06fe07bd0ba24553d2b87b62ea5532002d3930210ffe6914"
Job succeeded
Home|Differences with the last checks|Previous runs