OCamllabs icon Home|Differences with the last checks|Previous runs


Building on summer

(from freebsd)
2024-09-07 18:08.54 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" 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-dev /usr/local/bin/opam"))
2024-09-07 18:08.54 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" 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 1a7ee1360c05c742f9ac7a3a05afc019750073d6"))
2024-09-07 18:08.54 ---> using "e44d7dd5bc96c9278c8d6fe50995dcb61d134d5bc50bd43e0c358c3b53f0eb6b" 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
default (at file:///home/opam/opam-repository): 
    [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)


User configuration:
  ~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.

2024-09-07 18:08.54 ---> using "765fbdb354c6be84b7b365f6763262867738485040bb114dadbe6824659bd691" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=default '4.14.2' 'ocaml-base-compiler.4.14.2'"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.2"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2  (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.2  (cached)
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.2
-> installed ocaml.4.14.2
Done.
# Run eval $(opam env --switch=4.14.2) to update the current shell environment
2024-09-07 18:08.55 ---> using "cc1b37d10d88afd1dfc4a272f903712acd71917167bbd68c9357c415fcc065c6" from cache

/: (run (network host)
        (shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-09-07 18:08.55 ---> using "b80542d1d9b6297d3a36e06ab0c42613547ec260791ca023497342b543612b00" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \nopam remove -y \"ott.0.33\"\
               \nopam install -vy \"ott.0.33\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"ott.0.33\" | 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] ott.0.33 is not installed.

Nothing to do.
The following actions will be performed:
=== install 5 packages
  - install dune         3.16.0 [required by ocamlgraph]
  - install ocamlfind    1.9.6  [required by ott]
  - install ocamlgraph   2.1.0  [required by ott]
  - install ott          0.33
  - install stdlib-shims 0.3.0  [required by ocamlgraph]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/15: [dune.3.16.0: extract]
Processing  2/15: [dune.3.16.0: extract] [ocamlfind.1.9.6: extract]
Processing  3/15: [dune.3.16.0: extract] [ocamlfind.1.9.6: extract] [ocamlgraph.2.1.0: extract]
-> retrieved ocamlfind.1.9.6  (cached)
Processing  3/15: [dune.3.16.0: extract] [ocamlgraph.2.1.0: extract]
Processing  4/15: [dune.3.16.0: extract] [ocamlgraph.2.1.0: extract] [ott.0.33: http]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing  5/15: [dune.3.16.0: extract] [ocamlgraph.2.1.0: extract] [ott.0.33: http] [ocamlfind: patch]
Processing  5/15: [dune.3.16.0: extract] [ocamlgraph.2.1.0: extract] [ott.0.33: extract] [ocamlfind: patch]
Processing  5/15: [dune.3.16.0: extract] [ocamlgraph.2.1.0: extract] [ott.0.33: extract] [ocamlfind: ./configure]
-> retrieved ocamlgraph.2.1.0  (cached)
Processing  5/15: [dune.3.16.0: extract] [ott.0.33: extract] [ocamlfind: ./configure]
Processing  6/15: [dune.3.16.0: extract] [ott.0.33: extract] [stdlib-shims.0.3.0: extract] [ocamlfind: ./configure]
-> retrieved stdlib-shims.0.3.0  (cached)
Processing  6/15: [dune.3.16.0: extract] [ott.0.33: extract] [ocamlfind: ./configure]
-> retrieved ott.0.33  (https://github.com/ott-lang/ott/archive/0.33.tar.gz)
Processing  6/15: [dune.3.16.0: extract] [ocamlfind: ./configure]
-> retrieved dune.3.16.0  (cached)
Processing  6/15: [ocamlfind: ./configure]
Processing  7/15: [dune: ocaml 15] [ocamlfind: ./configure]
+ /home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/./configure "-bindir" "/home/opam/.opam/4.14.2/bin" "-sitelib" "/home/opam/.opam/4.14.2/lib" "-mandir" "/home/opam/.opam/4.14.2/man" "-config" "/home/opam/.opam/4.14.2/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
- 
- About the OCAML core installation:
-     Standard library:      /home/opam/.opam/4.14.2/lib/ocaml
-     Binaries:              /home/opam/.opam/4.14.2/bin
-     Manual pages:          /home/opam/.opam/4.14.2/man
-     Multi-threading type:  posix
- The directory of site-specific packages will be
-     site-lib:              /home/opam/.opam/4.14.2/lib
- The configuration file is written to:
-     findlib config file:   /home/opam/.opam/4.14.2/lib/findlib.conf
- Software will be installed:
-     Libraries:             in <site-lib>/findlib
-     Binaries:              /home/opam/.opam/4.14.2/bin
-     Manual pages:          /home/opam/.opam/4.14.2/man
-     topfind script:        /home/opam/.opam/4.14.2/lib/ocaml
- Topfind ppxopt support:    yes
- Toolbox:                   no
- Link custom runtime:       no
- Need bytes compatibility:  no
- 
- Configuration has been written to Makefile.config
- 
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing  7/15: [dune: ocaml 15] [ocamlfind: gmake all]
+ /usr/local/bin/gmake "all" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
-          ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.14.2/lib/findlib.conf' | \
-          ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.14.2/lib/ocaml' | \
- 	sed -e 's;@AUTOLINK@;true;g' \
- 	    -e 's;@SYSTEM@;freebsd;g' \
- 	     >findlib_config.ml
- if [ "true" = "true" ]; then                 \
- 	cp topfind.ml.in topfind.ml;                             \
- else                                                             \
- 	sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in     \
- 		> topfind.ml ;                                   \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | 	 let pkg_ancestors = query_requirements predlist pkg in
-       	                     ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 |   let ancestors = query_requirements predlist package_name in
-                         ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | 	  let pkg_ancestors = query_requirements predlist pkg in
-       	                      ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | 	     ( let c = package_definitions search_path pkg.package_name in
-       	               ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 |   Fl_package_base.requires predlist pkg
-         ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 |   Fl_package_base.requires_deeply predlist pkglist
-         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 |           Fl_package_base.package_users predicates1 packages1
-                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs  -o ocamlfind -g findlib.cma unix.cma \
-            -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 |                      match Hashtbl.find Toploop.directive_table "ppx" with
-                                               ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
-          ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.14.2/lib' \
-     	    >topfind
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
-      tools/patch '@SITELIB@' '/home/opam/.opam/4.14.2/lib' | \
- 		 tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.14.2/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- 	echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- 	echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- 	echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- 	echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
Processing  7/15: [dune: ocaml 15] [ocamlfind: gmake opt]
+ /usr/local/bin/gmake "opt" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | 	 let pkg_ancestors = query_requirements predlist pkg in
-       	                     ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 |   let ancestors = query_requirements predlist package_name in
-                         ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | 	  let pkg_ancestors = query_requirements predlist pkg in
-       	                      ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | 	     ( let c = package_definitions search_path pkg.package_name in
-       	               ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 |   Fl_package_base.requires predlist pkg
-         ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 |   Fl_package_base.requires_deeply predlist pkglist
-         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
-     ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 |           Fl_package_base.package_users predicates1 packages1
-                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- 	   -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 |                      match Hashtbl.find Toploop.directive_table "ppx" with
-                                               ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 |     Toploop.directive_table
-           ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
-     ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
-     ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled  ocamlfind.1.9.6
Processing  7/15: [dune: ocaml 15]
Processing  8/15: [dune: ocaml 15] [ocamlfind: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- if [ "1" -eq 1 ]; then \
-     for x in camlp4 dbm graphics labltk num ocamlbuild; do \
-       if [ -f "/home/opam/.opam/4.14.2/lib/$x/META" ]; then \
-         if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.14.2/lib/$x/META"; then \
-           rm -f site-lib-src/$x/META; \
-         fi; \
-       fi; \
-     done; \
-     test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
-   fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/home/opam/.opam/4.14.2/bin"
- install -d "/home/opam/.opam/4.14.2/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/4.14.2/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.14.2/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.14.2/lib/findlib.conf"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/4.14.2/lib/findlib"
- install -d "/home/opam/.opam/4.14.2/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.14.2/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.14.2/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/home/opam/.opam/4.14.2/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.14.2/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.14.2/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
-     cd "/home/opam/.opam/4.14.2/lib/ocaml/compiler-libs/"; \
-     install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.14.2/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.14.2/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.14.2/lib/$x/META.tmp" && mv "/home/opam/.opam/4.14.2/lib/$x/META.tmp" "/home/opam/.opam/4.14.2/lib/$x/META"; done
- install -d "/home/opam/.opam/4.14.2/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.14.2/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' ||	install -c tools/safe_camlp4 "/home/opam/.opam/4.14.2/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/4.14.2/man/man1" "/home/opam/.opam/4.14.2/man/man3" "/home/opam/.opam/4.14.2/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.14.2/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.14.2/man/man5"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing  8/15: [dune: ocaml 15]
+ /home/opam/.opam/4.14.2/bin/ocaml "boot/bootstrap.ml" "-j" "15" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.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  8/15: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "15" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.0)
-> compiled  dune.3.16.0
-> installed dune.3.16.0
Processing 10/15: [stdlib-shims: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "stdlib-shims" "-j" "15" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/stdlib-shims.0.3.0)
-> compiled  stdlib-shims.0.3.0
-> installed stdlib-shims.0.3.0
Processing 12/15: [ocamlgraph: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "ocamlgraph" "-j" "15" "@install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlgraph.2.1.0)
-> compiled  ocamlgraph.2.1.0
-> installed ocamlgraph.2.1.0
Processing 14/15: [ott: gmake world]
+ /usr/local/bin/gmake "world" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ott.0.33)
- cd src; /usr/local/bin/gmake install
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ott.0.33/src'
- ocamllex grammar_lexer.mll
- 374 states, 16439 transitions, table size 68000 bytes
- 3397 additional bytes used for bindings
- ocamlyacc -v grammar_parser.mly
- 2 rules never reduced
- echo 'let n="0.33"' >version.ml
- echo let d=\"$(cat tmp_date.txt)\" >>version.ml
- ocamldep location.ml types.ml auxl.ml merge.ml global_option.ml grammar_lexer.ml grammar_parser.mli grammar_parser.ml version.ml grammar_pp.ml parse_table.ml glr.ml new_term_parser.ml term_parser.ml dependency.ml bounds.ml context_pp.ml quotient_rules.ml grammar_typecheck.ml transform.ml substs_pp.ml subrules_pp.ml embed_pp.ml defns.ml ln_transform.ml coq_induct.ml system_pp.ml lex_menhir_pp.ml align.ml main.ml align.mli bounds.mli coq_induct.mli defns.mli dependency.mli embed_pp.mli grammar_typecheck.mli merge.mli subrules_pp.mli substs_pp.mli system_pp.mli lex_menhir_pp.mli transform.mli term_parser.mli > .depend
- mkdir ../bin
- /usr/local/bin/gmake opt
- gmake[2]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ott.0.33/src'
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c location.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c types.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c auxl.ml
- File "auxl.ml", lines 405-412, characters 7-19:
- 405 | .......( match hse with
- 406 | 	      | Hom_index _ | Hom_terminal _ -> []
- 407 | 	      | Hom_string s -> 
- 408 | 		  let strs = Str.split (Str.regexp "[ \t]+") s in
- 409 | 		  let ntrs_hom = List.filter (fun st -> List.mem st defined_ntrs) strs in
- 410 | 		  if promote 
- 411 | 		  then List.map (promote_ntr xd) ntrs_hom
- 412 | 		  else ntrs_hom ).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Hom_ln_free_index (_, _)
- File "auxl.ml", lines 467-471, characters 7-59:
- 467 | .......( match hse with
- 468 | 	      | Hom_index _ | Hom_terminal _ -> []
- 469 | 	      | Hom_string s -> 
- 470 | 		  let strs = Str.split (Str.regexp "[ \t]+") s in
- 471 | 		  List.filter (fun st -> List.mem st defined_mvrs) strs ).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Hom_ln_free_index (_, _)
- File "auxl.ml", lines 1839-1854, characters 4-42:
- 1839 | ....( match stre with 
- 1840 |     | Struct_md mvr ->  "metavar def: "^mvr
- 1841 |     | Struct_rs ntrs -> "rule def: "^(String.concat " " ntrs)
- 1842 |     | Struct_srs xs -> "subrule def: "^
- 1843 | 	(String.concat " " 
- ...
- 1851 |     | Struct_axs xs -> "aux def: "^
- 1852 |         (String.concat " " xs)
- 1853 |     | Struct_fun_or_defnclass s -> "fundefn_class def: "^s
- 1854 |     | Struct_embed (_,h,_) -> "embed: "^h)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Struct_crs _
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c location.ml
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c types.ml
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c merge.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c merge.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c global_option.ml
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c grammar_parser.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_parser.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_lexer.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c version.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_pp.ml
- File "grammar_pp.ml", lines 1875-2131, characters 6-25:
- 1875 | ......( match m with 
- 1876 |       | Lex _ | Menhir _ -> Auxl.errorm m "pp_mse"
- 1877 |       | Ascii ao -> 
- 1878 |           pp_auxfn m xd f ^ ""^pp_LPAREN ^ "" 
- 1879 |           ^ pp_ntlist
- ...
- 2128 | 	  else
- 2129 | 	    ( "(flat_map (fun "^pat_fun^" => "^pp_body^ pat_fun_end ^ ") "
- 2130 | 	      ^ de1i.de1_compound_id
- 2131 | 	      ^ ")", [], [] )  )
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Coq _|Isa _)
- (However, some guarded clause may match this value.)
- File "grammar_pp.ml", lines 4022-4025, characters 16-45:
- 4022 | ................(match hse with 
- 4023 |     | Hom_string _ -> arity_of_homspec hs'
- 4024 |     | Hom_index i -> max (1+i) (arity_of_homspec hs')
- 4025 |     | Hom_terminal _ -> arity_of_homspec hs')
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Hom_ln_free_index (_, _)
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c parse_table.ml
- File "parse_table.ml", line 914, characters 42-56:
- 914 |                             prod_action = (fun [r] -> r);
-                                                 ^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::_::_
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c glr.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c new_term_parser.ml
- File "new_term_parser.ml", lines 150-177, characters 10-30:
- 150 | ..........(function 
- 151 |              | "[" -> "lbrac"
- 152 |              | "]" -> "rbrac"
- 153 |              | "!" -> "excl"
- 154 |              | "\"" -> "doublequote"
- ...
- 174 |              | "}" -> "rcurly"
- 175 |              | "|" -> "bar"
- 176 |              | "~" -> "tilde"
- 177 |              | "-" -> "minus")
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ""
- File "new_term_parser.ml", lines 289-290, characters 14-18:
- 289 | ..............[Res_char c; Res_charl l] =
- 290 |   Res_charl (c::l)..
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_char _::Res_charl _::_::_
- File "new_term_parser.ml", lines 292-293, characters 20-46:
- 292 | ....................[Res_char c; Res_charl l] =
- 293 |   Res_string (Auxl.string_of_char_list (c::l))..
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_char _::Res_charl _::_::_
- File "new_term_parser.ml", line 295, characters 14-58:
- 295 | let res_stlil [Res_stli a; Res_stlil b] = Res_stlil (a::b);;
-                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_stli _::Res_stlil _::_::_
- File "new_term_parser.ml", lines 342-346, characters 67-66:
- 342 | ...................................................................function
- 343 |       [] -> []
- 344 |     | Res_ignore::rl -> process_prod_res rl
- 345 |     | Res_ste ste::rl -> ste::process_prod_res rl
- 346 |     | Res_st st::rl -> Ste_st (dummy_loc, st)::process_prod_res rl
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Res_none|Res_stli _|Res_stlil _|Res_char _|Res_charl _|Res_string _|
- Res_int _|Res_si _|Res_sil _)::_
- File "new_term_parser.ml", line 382, characters 14-42:
- 382 |               (fun [Res_stlil x] -> elc x);
-                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_stlil _::_::_
- File "new_term_parser.ml", line 401, characters 8-42:
- 401 |         (fun [Res_stli x]-> Res_stlil [x]);
-               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_stli _::_::_
- File "new_term_parser.ml", line 416, characters 16-51:
- 416 |                 (fun [x; _; y] -> res_stlil [x; y])
-                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::_::_::_::_
- File "new_term_parser.ml", lines 463-467, characters 26-65:
- 463 | ..........................(fun [Res_stli (Stli_single (_, es1)); 
- 464 |                                 _; 
- 465 |                                 Res_int n';
- 466 |                                 Res_stli (Stli_single (_, es2))] ->
- 467 |                              process_dot_listform_res es1 n' es2).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_stli (Stli_single (_, _))::_::Res_int _::Res_stli (Stli_single (_, _))::
- _::_
- File "new_term_parser.ml", lines 476-482, characters 26-65:
- 476 | ..........................(fun [Res_stli (Stli_single (_, es1)); 
- 477 |                                 _; 
- 478 |                                 _;
- 479 |                                 Res_int n';
- 480 |                                 _;
- 481 |                                 Res_stli (Stli_single (_, es2))] ->
- 482 |                              process_dot_listform_res es1 n' es2)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_stli (Stli_single (_, _))::_::_::Res_int _::_::
- Res_stli (Stli_single (_, _))::_::_
- File "new_term_parser.ml", lines 488-500, characters 18-53:
- 488 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr;
- 489 |                         _] ->
- 490 |                      let es'' = 
- 491 |                        List.map 
- 492 |                          (Merge.abstract_indexvar_symterm_element ivr 0) 
- ...
- 497 |                                  stl_elements = es'';
- 498 |                                  stl_loc = dummy_loc}
- 499 |                      in
- 500 |                        Res_stli (Stli_listform stlb)).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::Res_stli (Stli_single (_, _))::_::_::Res_string _::_::_::_
- File "new_term_parser.ml", lines 508-523, characters 18-53:
- 508 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr;
- 509 |                         _;
- 510 |                         _; Res_string ivr';
- 511 |                         _] ->
- 512 |                      let es'' = 
- ...
- 520 |                      let stlb = {stl_bound = b;
- 521 |                                  stl_elements = es'';
- 522 |                                  stl_loc = dummy_loc} in
- 523 |                        Res_stli (Stli_listform stlb)).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::Res_stli (Stli_single (_, _))::_::_::Res_string _::_::_::Res_string _::_::
- _::_
- File "new_term_parser.ml", lines 536-557, characters 18-53:
- 536 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr;
- 537 |                         _;
- 538 |                         _;
- 539 |                         Res_string lower;
- 540 |                         _;
- ...
- 554 |                      let stlb = {stl_bound = b;
- 555 |                                  stl_elements = es'';
- 556 |                                  stl_loc = dummy_loc} in
- 557 |                        Res_stli (Stli_listform stlb)).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::Res_stli (Stli_single (_, _))::_::_::Res_string _::_::_::Res_string _::_::
- Res_int _::_::Res_si _::_::_::_
- File "new_term_parser.ml", line 560, characters 18-53:
- 560 |                   (fun [Res_stli x] -> Res_stlil [x]));
-                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_stli _::_::_
- File "new_term_parser.ml", line 574, characters 24-59:
- 574 |                         (fun [x; _; y] -> res_stlil [x; y]));
-                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::_::_::_::_
- File "new_term_parser.ml", line 603, characters 15-44:
- 603 |                (fun (_::rl) -> build_res rl) in
-                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- []
- File "new_term_parser.ml", line 609, characters 15-44:
- 609 |                (fun (_::rl) -> build_res rl) in
-                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- []
- File "new_term_parser.ml", line 628, characters 12-29:
- 628 |             (fun [_; x] -> x)
-                   ^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::_::_::_
- File "new_term_parser.ml", lines 638-639, characters 13-63:
- 638 | .............(fun [_; Res_sil l] ->
- 639 |                 Res_st (St_nonterm (dummy_loc, ntr, (nt', l)))).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::Res_sil _::_::_
- File "new_term_parser.ml", lines 649-653, characters 18-55:
- 649 | ..................(fun [_; Res_sil l] ->
- 650 |                      Res_st (St_nontermsub (dummy_loc, 
- 651 |                                             ntl, 
- 652 |                                             Auxl.promote_ntr xd ntr, 
- 653 |                                             (nt', l)))).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::Res_sil _::_::_
- File "new_term_parser.ml", lines 664-665, characters 6-59:
- 664 | ......(fun [_; Res_sil x] ->
- 665 |          Res_ste (Ste_metavar (dummy_loc, name, (mvr, x))))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::Res_sil _::_::_
- File "new_term_parser.ml", line 695, characters 14-100:
- 695 |               (fun (_::Res_string s::_) -> Res_ste (Ste_metavar (dummy_loc, mvd.mvd_name, (s, []))))
-                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::
- (Res_ignore|Res_none|Res_st _|Res_ste _|Res_stli _|Res_stlil _|Res_char _|
- Res_charl _|Res_int _|Res_si _|Res_sil _)::_
- File "new_term_parser.ml", lines 703-707, characters 16-68:
- 703 | ................(fun [_; Res_string s] -> 
- 704 |                    if is_tm s then
- 705 |                      raise Reject_parse
- 706 |                    else
- 707 |                      Res_ste (Ste_var (dummy_loc, mvd.mvd_name, s))).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::Res_string _::_::_
- File "new_term_parser.ml", lines 710-711, characters 16-66:
- 710 | ................(fun [_; Res_string s] -> 
- 711 |                    Res_ste (Ste_var (dummy_loc, mvd.mvd_name, s))).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::Res_string _::_::_
- File "new_term_parser.ml", lines 715-719, characters 16-23:
- 715 | ................(fun [((Res_ste (Ste_var (_, _, s))) as x)] -> 
- 716 |                    if is_tm s then 
- 717 |                      raise Reject_parse
- 718 |                    else
- 719 |                      x)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_ste (Ste_var (_, _, _))::_::_
- File "new_term_parser.ml", line 742, characters 6-41:
- 742 |       (fun [Res_char c] -> Res_charl [c]);
-             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_char _::_::_
- File "new_term_parser.ml", line 748, characters 6-68:
- 748 |       (fun [Res_charl s] -> Res_string (Auxl.string_of_char_list s));
-             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_charl _::_::_
- File "new_term_parser.ml", line 761, characters 6-53:
- 761 |       (fun [Res_si s; Res_sil sl] -> Res_sil (s::sl));
-             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_si _::Res_sil _::_::_
- File "new_term_parser.ml", line 767, characters 6-73:
- 767 |       (fun [Res_charl l] -> Res_si (Si_num (Auxl.string_of_char_list l)));
-             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_charl _::_::_
- File "new_term_parser.ml", line 771, characters 6-24:
- 771 |       (fun [rsi] -> rsi);
-             ^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::_::_
- File "new_term_parser.ml", line 794, characters 6-47:
- 794 |       (fun [Res_charl c] -> Res_charl ('_'::c));
-             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_charl _::_::_
- File "new_term_parser.ml", line 796, characters 6-48:
- 796 |       (fun [Res_charl c] -> Res_charl ('\''::c));
-             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_charl _::_::_
- File "new_term_parser.ml", line 831, characters 6-52:
- 831 |       (fun [Res_string s] -> Res_si (Si_var (s, 0)));
-             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_string _::_::_
- File "new_term_parser.ml", line 835, characters 6-53:
- 835 |       (fun [Res_string s] -> Res_si (Si_var (s, -1)));
-             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Res_string _::_::_
- File "new_term_parser.ml", lines 846-847, characters 13-61:
- 846 | .............(fun [_; Res_sil x] ->
- 847 |                 Res_st (St_nonterm (dummy_loc, "", (nt, x)))).
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::Res_sil _::_::_
- File "new_term_parser.ml", line 858, characters 13-27:
- 858 |              (fun [x] -> x);
-                    ^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- _::_::_
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c term_parser.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c term_parser.ml
- File "term_parser.ml", lines 1139-1172, characters 2-11:
- 1139 | ..let Ascii oldopts = pp_ascii_opts_default in
- 1140 |   let opts = Ascii {oldopts with ppa_colour = !Auxl.colour} in
- 1141 |   let sts = parse_complete lookup ntr concrete s in
- 1142 |   let sts = transform sts in
- 1143 |   match sts with
- ...
- 1169 |         begin  
- 1170 |           report_error (Some l) (sstart ^ concat "" intermed);
- 1171 |           St_uninterpreted(l, "multiple parses")
- 1172 |         end
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Coq
-    {coq_quantified_vars_from_de=_; coq_non_local_hyp_defn=_;
-    coq_non_local_hyp_defn_vars=_; coq_list_types=_;
-    coq_list_aux_defns={defined=_; newly_defined=_};
-    coq_library={contents=(_, _)}; coq_locally_nameless=_; _ }|
- Isa {isa_library={contents=(_, _)}; _ }|Hol {hol_library={contents=(_, _)}}|
- Lem {lem_library={contents=(_, _)}}|
- Twf {twf_current_defn=_; twf_library={contents=(_, _)}}|Tex _|
- Caml {caml_library={contents=(_, _)}; _ }|
- Lex {ppm_caml_opts={caml_library={contents=(_, _)}; _ }; _ }|
- Menhir {ppm_caml_opts={caml_library={contents=(_, _)}; _ }; _ })
- File "term_parser.ml", line 1222, characters 25-54:
- 1222 |                 List.map (fun (Ntp.Gtp.Res_st s) -> s) res
-                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Res_ignore|Res_none|Res_ste _|Res_stli _|Res_stlil _|Res_char _|Res_charl _|
- Res_string _|Res_int _|Res_si _|Res_sil _)
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c dependency.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c dependency.ml
- File "dependency.ml", lines 571-579, characters 2-74:
- 571 | ..match m with
- 572 |   | Isa io when io.ppi_isa_primrec -> isa_primrec_collapse m xd funcs
- 573 |   | Isa io when not io.ppi_isa_primrec -> isa_fun_collapse m xd funcs
- 574 |   | Hol _ -> hol_collapse m xd funcs
- 575 |   | Lem _ -> lem_collapse m xd funcs
- 576 |   | Coq _ -> coq_collapse m xd funcs
- 577 |   | Twf _ -> twf_collapse m xd funcs
- 578 |   | Caml _ -> caml_collapse m xd funcs
- 579 |   | Tex _ | Ascii _ -> Auxl.error None "internal: collapse of Tex-Ascii\n"
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Isa _|Lex _|Menhir _)
- (However, some guarded clause may match this value.)
- File "dependency.ml", lines 584-714, characters 2-53:
- 584 | ..match m with
- 585 |   | Tex _ | Ascii _ -> Auxl.error None "internal: print of Tex-Ascii\n"
- 586 |   | Isa io ->
- 587 |       let print_lemma block = 
- 588 | 	if ( List.exists 
- ...
- 711 | (*               (List.map (fun (_,((h1,h2,h3),s,_)) -> h1 ^ "FOO1" ^ h2 ^ "FOO2"^ h3 ^ "FOO3"^s) block))*)
- 712 |                (List.map (fun (_,((h1,h2,h3),s,_)) -> h1 ^ h2 ^ h3 ^ s ^ "  end\n") block))
- 713 | 	  ^ "\n") in
- 714 |       String.concat "" (List.map print_block sorting)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Lex _|Menhir _)
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c bounds.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c bounds.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c context_pp.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c quotient_rules.ml
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c grammar_typecheck.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_typecheck.ml
- File "grammar_typecheck.ml", lines 54-56, characters 4-82:
- 54 | ....match (xs,keys) with
- 55 |     | ([],[]) -> None
- 56 |     | (x::xs, key::keys) -> if (List.mem key keys) then Some x else helper xs keys.
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ([], _::_)
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c transform.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c transform.ml
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c substs_pp.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c substs_pp.ml
- File "substs_pp.ml", lines 333-336, characters 10-11:
- 333 | ..........(match m with 
- 334 |           | Caml _ -> Grammar_pp.pp_nt_or_mv_root_ty m xd ntmvr ^ " list" 
- 335 |           | Lem _ -> "list " ^Grammar_pp.pp_nt_or_mv_root_ty m xd ntmvr
- 336 |           )
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _)
- File "substs_pp.ml", lines 1400-1412, characters 3-4:
- 1400 | ...(match m with 
- 1401 | 		 | Caml _ -> 	
- 1402 | 		     "(" 
- 1403 | 	             ^ Grammar_pp.pp_nt_or_mv_root_ty m xd subst.sb_that 
- 1404 | 		     ^ "*" ^ Grammar_pp.pp_nontermroot_ty m xd subst.sb_this 
- ...
- 1409 | 		     ^ Grammar_pp.pp_nt_or_mv_root_ty m xd subst.sb_that 
- 1410 | 		     ^ "*" ^ Grammar_pp.pp_nontermroot_ty m xd subst.sb_this 
- 1411 | 		     ^ ")"
- 1412 | 		 )
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _)
- File "substs_pp.ml", lines 1747-1876, characters 3-8:
- 1747 | ...( match m with 
- 1748 |           | Ascii _ | Tex _ | Lex _ | Menhir _ -> Auxl.error (Some p.prod_loc) "pp_fv_symterm_list_body"
- 1749 | 	  | Isa io when io.ppi_isa_primrec ->
- 1750 |               let args = 
- 1751 | 	        String.concat "_" 
- ...
- 1873 | 		  ("(flat_map (fun (pat_:"^de1i.de1_coq_type_of_pattern^") => match pat_ with " ^ de1i.de1_pattern ^ " => "^pp_body^" end) "
- 1874 | 		   ^ de1i.de1_compound_id
- 1875 | 		   ^ ")"), funcs
- 1876 |        )..
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Coq _|Isa _|Twf _)
- (However, some guarded clause may match this value.)
- File "substs_pp.ml", lines 2030-2033, characters 5-6:
- 2030 | .....(match m with 
- 2031 | 	    | Caml _ -> Grammar_pp.pp_nt_or_mv_root_ty m xd fv.fv_that ^ " list"
- 2032 | 	    | Lem _ -> " list " ^ Grammar_pp.pp_nt_or_mv_root_ty m xd fv.fv_that
- 2033 | 	    )
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _)
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c subrules_pp.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c subrules_pp.ml
- File "subrules_pp.ml", lines 167-368, characters 8-2:
- 167 | ........( match m with 
- 168 |         | Isa io when io.ppi_isa_primrec ->
- 169 | 	    let typ = 
- 170 | 	      Auxl.the (Grammar_pp.pp_elements 
- 171 | 	       	 m xd  ((Si_punct "_")::sie) elbu.elb_es true false true true) ^ " list" in
- ...
- 365 |             [ " %{ TWELF NOT IMPLEMENTED }%"], deps, []
- 366 |         | Tex _ | Ascii _ | Lex _ | Menhir _ -> Auxl.errorm m "pp_subelement"
- 367 | 
- 368 |  )
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Coq _|Isa _)
- (However, some guarded clause may match this value.)
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c embed_pp.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c embed_pp.ml
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c defns.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c defns.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c ln_transform.ml
- File "ln_transform.ml", lines 1057-1067, characters 4-7:
- 1057 | ....match mse with
- 1058 |     | Empty -> 
- 1059 | 	"0",[]
- 1060 |     | MetaVarExp mv -> 
- 1061 | 	"1",[] (* FZ is this correct in the general case? *)
- ...
- 1064 |     | Aux (f1,nt1) -> 
- 1065 | 	let name = arity_name f1 (Auxl.promote_ntr xd_transformed (Auxl.primary_ntr_of_ntr xd_transformed (fst nt1))) in
- 1066 | 	name ^ " " ^ Grammar_pp.pp_nonterm m xd_transformed nt1,
- 1067 | 	[name]
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (NonTermExp _|MetaVarListExp (_, _)|NonTermListExp (_, _)|AuxList (_, _, _))
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c coq_induct.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c coq_induct.ml
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c system_pp.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c system_pp.ml
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c lex_menhir_pp.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c lex_menhir_pp.ml
- File "lex_menhir_pp.ml", lines 274-285, characters 10-11:
- 274 | ..........(match ocamllex_hom_opt, ocamllex_remove_hom with
- 275 |           | Some ocamllex_hom, false -> 
- 276 |               Some (token_name_of mvd.mvd_name, mvd.mvd_name, TK_metavar(ocaml_type, Some ocamllex_hom, ocamllex_of_string_hom_opt))
- 277 |           | None, false -> 
- 278 | (* hack: default to ocamllex-remove *)
- ...
- 282 |               Auxl.error (Some mvd.mvd_loc) ("ocamllex output: both ocamllex and ocamllex-remove hom for "^mvd.mvd_name^"\n")
- 283 |           | None, true -> 
- 284 |               Some (token_name_of mvd.mvd_name, mvd.mvd_name, TK_metavar(ocaml_type, None, ocamllex_of_string_hom_opt))
- 285 |           )
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (Some _, true)
- File "lex_menhir_pp.ml", line 281, characters 12-36:
- 281 |           | Some ocamllex_hom, false -> 
-                   ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 11 [redundant-case]: this match case is unused.
- File "lex_menhir_pp.ml", lines 331-335, characters 13-42:
- 331 | .............(match ocaml_type with
- 332 |              | "string" -> ""
- 333 |              | "int" -> "int_of_string"
- 334 |              | "float" -> "float_of_string"
- 335 |              | "bool" -> "bool_of_string")
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ""
- ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes   -c align.mli
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c align.ml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c main.ml
- sed -e 's/__VERSION__/0.33/' \
-     -e '/__DATE__/r tmp_date.txt' \
-     -e '/__DATE__/d' <version_src.tex >version.tex
- echo Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lex_menhir_pp.cmi transform.cmi term_parser.cmi version.tex
- Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lex_menhir_pp.cmi transform.cmi term_parser.cmi version.tex
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -v
- The OCaml native-code compiler, version 4.14.2
- Standard library directory: /home/opam/.opam/4.14.2/lib/ocaml
- ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -o ott.opt  location.cmx  types.cmx  auxl.cmx  merge.cmx  global_option.cmx  grammar_lexer.cmx  grammar_parser.cmx  version.cmx  grammar_pp.cmx  parse_table.cmx  glr.cmx  new_term_parser.cmx  term_parser.cmx  dependency.cmx  bounds.cmx  context_pp.cmx  quotient_rules.cmx  grammar_typecheck.cmx  transform.cmx  substs_pp.cmx  subrules_pp.cmx  embed_pp.cmx  defns.cmx  ln_transform.cmx  coq_induct.cmx  system_pp.cmx  lex_menhir_pp.cmx  align.cmx  main.cmx
- ln -s -f ott.opt ott
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ott.0.33/src'
- cp ./ott ../bin/ott
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ott.0.33/src'
Processing 14/15: [ott: gmake ott.install]
+ /usr/local/bin/gmake "ott.install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ott.0.33)
- cp ott.install.nodoc ott.install
- echo "doc : [" >> ott.install
- echo "\"README.md\" { \"README.md\" }" >> ott.install
- echo "\"LICENCE\" { \"LICENSE\" }" >> ott.install
- echo "\"built_doc/top2.pdf\" { \"doc/ott_manual.pdf\" }" >> ott.install
- echo "\"built_doc/top2.html\" { \"doc/ott_manual.html\" }" >> ott.install
- echo  "\"built_doc/top2001.png\""  "\"built_doc/top2002.png\""  "\"built_doc/top2003.png\""  "\"built_doc/top2004.png\""  "\"built_doc/top2005.png\""  "\"built_doc/top2006.png\""  "\"built_doc/top2007.png\""  "\"built_doc/top2008.png\""  "\"built_doc/top2009.png\""  "\"built_doc/top2010.png\""  "\"built_doc/top2011.png\""  "\"built_doc/top2012.png\""  "\"built_doc/top2013.png\""  "\"built_doc/top2014.png\""  "\"built_doc/top2015.png\""  "\"built_doc/top2016.png\""  "\"built_doc/top2017.png\""  "\"built_doc/top2018.png\""  "\"built_doc/top2019.png\""  "\"built_doc/top2020.png\""  "\"built_doc/top2021.png\""  "\"built_doc/top2022.png\""  "\"built_doc/top2023.png\""  "\"built_doc/top2024.png\""  "\"built_doc/top2025.png\""  "\"built_doc/top2026.png\""  "\"built_doc/top2027.png\""  "\"built_doc/top2028.png\""  "\"built_doc/top2029.png\""  "\"built_doc/top2030.png\""  "\"built_doc/top2031.png\""  "\"built_doc/top2032.png\""  "\"built_doc/top2033.png\""  "\"built_doc/top2034.png\""  "\"built_doc/top2035.png\""  "\"built_doc/top2036.png\""  "\"built_doc/top2037.png\"" >> ott.install
- echo "]" >> ott.install
-> compiled  ott.0.33
-> installed ott.0.33
Done.
2024-09-07 18:10.40 ---> saved as "4b59c7536f6fe8795461e4da1f41aa93db81b290b27a620b2faa7ee136205b69"
Job succeeded