build-normal.txt

$ dune build --cache=disabled --display=verbose theories/lang/prelude/notations.vo &> build-normal
Workspace root: /Users/pgiarrusso/git-bedrock/Coq/cpp2v-core
disable binary cache
Running[0]: /Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlc.opt -config > /var/folders/7v/g2sr0z2s2v9d_v7xv_y1zlz00000gn/T/dune6d84c5.output
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Dyn
 ; merlin = true
 ; for_host = None
 ; fdo_target_exe = None
 ; build_dir = "default"
 ; toplevel_path =
     Some
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib/toplevel"
 ; ocaml_bin =
     External
       "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin"
 ; ocaml =
     Ok
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocaml"
 ; ocamlc =
     External
       "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlc.opt"
 ; ocamlopt =
     Ok
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlopt.opt"
 ; ocamldep =
     Ok
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamldep.opt"
 ; ocamlmklib =
     Ok
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlmklib.opt"
 ; env =
     map
       { "DUNE_OCAML_HARDCODED" :
           "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib"
       ; "DUNE_OCAML_STDLIB" :
           "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib/ocaml"
       ; "DUNE_SOURCEROOT" : "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core"
       ; "INSIDE_DUNE" :
           "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core/_build/default"
       ; "OCAMLFIND_IGNORE_DUPS_IN" :
           "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core/_build/install/default/lib"
       ; "OCAMLPATH" :
           "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core/_build/install/default/lib"
       ; "OCAMLTOP_INCLUDE_PATH" :
           "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core/_build/install/default/lib/toplevel"
       }
 ; findlib_path =
     [ External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib"
     ]
 ; arch_sixtyfour = true
 ; natdynlink_supported = true
 ; supports_shared_libraries = true
 ; ocaml_config =
     { version = "4.07.1"
     ; standard_library_default =
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib/ocaml"
     ; standard_library =
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib/ocaml"
     ; standard_runtime =
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlrun"
     ; ccomp_type = "cc"
     ; c_compiler = "cc"
     ; ocamlc_cflags = [ "-O2"; "-fno-strict-aliasing"; "-fwrapv" ]
     ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64"; "-D_REENTRANT" ]
     ; ocamlopt_cflags = [ "-O2"; "-fno-strict-aliasing"; "-fwrapv" ]
     ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64"; "-D_REENTRANT" ]
     ; bytecomp_c_compiler =
         [ "cc"
         ; "-O2"
         ; "-fno-strict-aliasing"
         ; "-fwrapv"
         ; "-D_FILE_OFFSET_BITS=64"
         ; "-D_REENTRANT"
         ]
     ; bytecomp_c_libraries = [ "-lpthread" ]
     ; native_c_compiler =
         [ "cc"
         ; "-O2"
         ; "-fno-strict-aliasing"
         ; "-fwrapv"
         ; "-D_FILE_OFFSET_BITS=64"
         ; "-D_REENTRANT"
         ]
     ; native_c_libraries = []
     ; cc_profile = [ "-pg" ]
     ; architecture = "amd64"
     ; model = "default"
     ; int_size = 63
     ; word_size = 64
     ; system = "macosx"
     ; asm = [ "clang"; "-arch"; "x86_64"; "-Wno-trigraphs"; "-c" ]
     ; asm_cfi_supported = true
     ; with_frame_pointers = false
     ; ext_exe = ""
     ; ext_obj = ".o"
     ; ext_asm = ".s"
     ; ext_lib = ".a"
     ; ext_dll = ".so"
     ; os_type = "Unix"
     ; default_executable_name = "a.out"
     ; systhread_supported = true
     ; host = "x86_64-apple-darwin19.6.0"
     ; target = "x86_64-apple-darwin19.6.0"
     ; profiling = true
     ; flambda = true
     ; spacetime = false
     ; safe_string = false
     ; exec_magic_number = "Caml1999X023"
     ; cmi_magic_number = "Caml1999I024"
     ; cmo_magic_number = "Caml1999O023"
     ; cma_magic_number = "Caml1999A023"
     ; cmx_magic_number = "Caml1999y023"
     ; cmxa_magic_number = "Caml1999z023"
     ; ast_impl_magic_number = "Caml1999M023"
     ; ast_intf_magic_number = "Caml1999N023"
     ; cmxs_magic_number = "Caml1999D023"
     ; cmt_magic_number = "Caml1999T024"
     ; natdynlink_supported = true
     ; supports_shared_libraries = true
     ; windows_unicode = false
     }
 }
Actual targets:
- _build/default/theories/lang/prelude/notations.vo
Running[1]: (cd _build/default/theories/lang && /Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/coqdep -R . bedrock.lang -dyndep opt prelude/notations.v) > _build/default/theories/lang/prelude/notations.v.d
Running[2]: (cd _build/default && /Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/coqc -w -notation-overridden -w -custom-entry-overridden -w -redundant-canonical-projection -w -ambiguous-paths -w -ssr-search-moved -w -native-compiler-disabled -native-compiler ondemand -R theories/lang bedrock.lang theories/lang/prelude/notations.v)

build-release.txt

$ dune build --cache=disabled --display=verbose theories/lang/prelude/notations.vo -p coq-cpp2v &> build-release
Workspace root: /Users/pgiarrusso/git-bedrock/Coq/cpp2v-core
Running[0]: /usr/local/bin/nproc > /var/folders/7v/g2sr0z2s2v9d_v7xv_y1zlz00000gn/T/dune077cbb.output 2> /dev/null
Auto-detected concurrency: 12
disable binary cache
Running[1]: /Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlc.opt -config > /var/folders/7v/g2sr0z2s2v9d_v7xv_y1zlz00000gn/T/dunee0c13e.output
Dune context:
 { name = "default"
 ; kind = "default"
 ; profile = Release
 ; merlin = true
 ; for_host = None
 ; fdo_target_exe = None
 ; build_dir = "default"
 ; toplevel_path =
     Some
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib/toplevel"
 ; ocaml_bin =
     External
       "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin"
 ; ocaml =
     Ok
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocaml"
 ; ocamlc =
     External
       "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlc.opt"
 ; ocamlopt =
     Ok
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlopt.opt"
 ; ocamldep =
     Ok
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamldep.opt"
 ; ocamlmklib =
     Ok
       External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlmklib.opt"
 ; env =
     map
       { "DUNE_OCAML_HARDCODED" :
           "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib"
       ; "DUNE_OCAML_STDLIB" :
           "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib/ocaml"
       ; "DUNE_SOURCEROOT" : "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core"
       ; "INSIDE_DUNE" :
           "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core/_build/default"
       ; "OCAMLFIND_IGNORE_DUPS_IN" :
           "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core/_build/install/default/lib"
       ; "OCAMLPATH" :
           "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core/_build/install/default/lib"
       ; "OCAMLTOP_INCLUDE_PATH" :
           "/Users/pgiarrusso/git-bedrock/Coq/cpp2v-core/_build/install/default/lib/toplevel"
       }
 ; findlib_path =
     [ External
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib"
     ]
 ; arch_sixtyfour = true
 ; natdynlink_supported = true
 ; supports_shared_libraries = true
 ; ocaml_config =
     { version = "4.07.1"
     ; standard_library_default =
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib/ocaml"
     ; standard_library =
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/lib/ocaml"
     ; standard_runtime =
         "/Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/ocamlrun"
     ; ccomp_type = "cc"
     ; c_compiler = "cc"
     ; ocamlc_cflags = [ "-O2"; "-fno-strict-aliasing"; "-fwrapv" ]
     ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64"; "-D_REENTRANT" ]
     ; ocamlopt_cflags = [ "-O2"; "-fno-strict-aliasing"; "-fwrapv" ]
     ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64"; "-D_REENTRANT" ]
     ; bytecomp_c_compiler =
         [ "cc"
         ; "-O2"
         ; "-fno-strict-aliasing"
         ; "-fwrapv"
         ; "-D_FILE_OFFSET_BITS=64"
         ; "-D_REENTRANT"
         ]
     ; bytecomp_c_libraries = [ "-lpthread" ]
     ; native_c_compiler =
         [ "cc"
         ; "-O2"
         ; "-fno-strict-aliasing"
         ; "-fwrapv"
         ; "-D_FILE_OFFSET_BITS=64"
         ; "-D_REENTRANT"
         ]
     ; native_c_libraries = []
     ; cc_profile = [ "-pg" ]
     ; architecture = "amd64"
     ; model = "default"
     ; int_size = 63
     ; word_size = 64
     ; system = "macosx"
     ; asm = [ "clang"; "-arch"; "x86_64"; "-Wno-trigraphs"; "-c" ]
     ; asm_cfi_supported = true
     ; with_frame_pointers = false
     ; ext_exe = ""
     ; ext_obj = ".o"
     ; ext_asm = ".s"
     ; ext_lib = ".a"
     ; ext_dll = ".so"
     ; os_type = "Unix"
     ; default_executable_name = "a.out"
     ; systhread_supported = true
     ; host = "x86_64-apple-darwin19.6.0"
     ; target = "x86_64-apple-darwin19.6.0"
     ; profiling = true
     ; flambda = true
     ; spacetime = false
     ; safe_string = false
     ; exec_magic_number = "Caml1999X023"
     ; cmi_magic_number = "Caml1999I024"
     ; cmo_magic_number = "Caml1999O023"
     ; cma_magic_number = "Caml1999A023"
     ; cmx_magic_number = "Caml1999y023"
     ; cmxa_magic_number = "Caml1999z023"
     ; ast_impl_magic_number = "Caml1999M023"
     ; ast_intf_magic_number = "Caml1999N023"
     ; cmxs_magic_number = "Caml1999D023"
     ; cmt_magic_number = "Caml1999T024"
     ; natdynlink_supported = true
     ; supports_shared_libraries = true
     ; windows_unicode = false
     }
 }
Actual targets:
- _build/default/theories/lang/prelude/notations.vo
Running[1]: (cd _build/default/theories/lang && /Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/coqdep -R . bedrock.lang -dyndep opt prelude/notations.v) > _build/default/theories/lang/prelude/notations.v.d
Running[2]: (cd _build/default && /Users/pgiarrusso/.opam/iris-2021-01-12.0.bbaf3eaf-coq-8.13.0/bin/coqc -w -notation-overridden -w -custom-entry-overridden -w -redundant-canonical-projection -w -ambiguous-paths -w -ssr-search-moved -R theories/lang bedrock.lang theories/lang/prelude/notations.v)