Created
January 3, 2021 23:44
-
-
Save Kakadu/753b8955ada690ad09fb143ff682695c to your computer and use it in GitHub Desktop.
camlp5 + odoc
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
➜ camlp5_odoc_demo git:(master) dune build @doc --verbose | |
Workspace root: /media/oldhome/kakadu/prog/asp/camlp5_odoc_demo | |
Running[0]: /usr/bin/nproc > /tmp/dune8bd514.output 2> /dev/null | |
Auto-detected concurrency: 4 | |
disable binary cache | |
Running[1]: /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlc.opt -config > /tmp/dune59e34e.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 "/home/kakadu/.opam/4.10.1+fp+flambda/lib/toplevel" | |
; ocaml_bin = External "/home/kakadu/.opam/4.10.1+fp+flambda/bin" | |
; ocaml = Ok External "/home/kakadu/.opam/4.10.1+fp+flambda/bin/ocaml" | |
; ocamlc = External "/home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlc.opt" | |
; ocamlopt = | |
Ok External "/home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlopt.opt" | |
; ocamldep = | |
Ok External "/home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamldep.opt" | |
; ocamlmklib = | |
Ok External "/home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlmklib.opt" | |
; env = | |
map | |
{ "INSIDE_DUNE" : | |
"/media/oldhome/kakadu/prog/asp/camlp5_odoc_demo/_build/default" | |
; "OCAMLFIND_IGNORE_DUPS_IN" : | |
"/media/oldhome/kakadu/prog/asp/camlp5_odoc_demo/_build/install/default/lib" | |
; "OCAMLPATH" : | |
"/media/oldhome/kakadu/prog/asp/camlp5_odoc_demo/_build/install/default/lib" | |
; "OCAMLTOP_INCLUDE_PATH" : | |
"/media/oldhome/kakadu/prog/asp/camlp5_odoc_demo/_build/install/default/lib/toplevel" | |
; "OCAML_COLOR" : "always" | |
; "OPAMCOLOR" : "always" | |
} | |
; findlib_path = [ External "/home/kakadu/.opam/4.10.1+fp+flambda/lib" ] | |
; arch_sixtyfour = true | |
; natdynlink_supported = true | |
; supports_shared_libraries = true | |
; ocaml_config = | |
{ version = "4.10.1" | |
; standard_library_default = | |
"/home/kakadu/.opam/4.10.1+fp+flambda/lib/ocaml" | |
; standard_library = "/home/kakadu/.opam/4.10.1+fp+flambda/lib/ocaml" | |
; standard_runtime = "the_standard_runtime_variable_was_deleted" | |
; ccomp_type = "cc" | |
; c_compiler = "gcc" | |
; ocamlc_cflags = | |
[ "-O2" | |
; "-fno-strict-aliasing" | |
; "-fwrapv" | |
; "-g" | |
; "-fno-omit-frame-pointer" | |
; "-fPIC" | |
] | |
; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64"; "-D_REENTRANT" ] | |
; ocamlopt_cflags = | |
[ "-O2" | |
; "-fno-strict-aliasing" | |
; "-fwrapv" | |
; "-g" | |
; "-fno-omit-frame-pointer" | |
] | |
; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64"; "-D_REENTRANT" ] | |
; bytecomp_c_compiler = | |
[ "gcc" | |
; "-O2" | |
; "-fno-strict-aliasing" | |
; "-fwrapv" | |
; "-g" | |
; "-fno-omit-frame-pointer" | |
; "-fPIC" | |
; "-D_FILE_OFFSET_BITS=64" | |
; "-D_REENTRANT" | |
] | |
; bytecomp_c_libraries = [ "-lm"; "-ldl"; "-lpthread" ] | |
; native_c_compiler = | |
[ "gcc" | |
; "-O2" | |
; "-fno-strict-aliasing" | |
; "-fwrapv" | |
; "-g" | |
; "-fno-omit-frame-pointer" | |
; "-D_FILE_OFFSET_BITS=64" | |
; "-D_REENTRANT" | |
] | |
; native_c_libraries = [ "-lm"; "-ldl" ] | |
; cc_profile = [] | |
; architecture = "amd64" | |
; model = "default" | |
; int_size = 63 | |
; word_size = 64 | |
; system = "linux" | |
; asm = [ "as" ] | |
; asm_cfi_supported = true | |
; with_frame_pointers = true | |
; 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-pc-linux-gnu" | |
; target = "x86_64-pc-linux-gnu" | |
; profiling = false | |
; flambda = true | |
; spacetime = false | |
; safe_string = true | |
; exec_magic_number = "Caml1999X027" | |
; cmi_magic_number = "Caml1999I027" | |
; cmo_magic_number = "Caml1999O027" | |
; cma_magic_number = "Caml1999A027" | |
; cmx_magic_number = "Caml1999y027" | |
; cmxa_magic_number = "Caml1999z027" | |
; ast_impl_magic_number = "Caml1999M027" | |
; ast_intf_magic_number = "Caml1999N027" | |
; cmxs_magic_number = "Caml1999D027" | |
; cmt_magic_number = "Caml1999T027" | |
; natdynlink_supported = true | |
; supports_shared_libraries = true | |
; windows_unicode = false | |
} | |
} | |
Actual targets: | |
- recursive alias @doc | |
Running[2]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlc.opt -w @[email protected]@30..39@[email protected]@[email protected] -strict-sequence -strict-formats -short-paths -keep-locs -w -49 -nopervasives -nostdlib -g -bin-annot -I lib/.camlp5_odoc_demo.objs/byte -no-alias-deps -opaque -o lib/.camlp5_odoc_demo.objs/byte/camlp5_odoc_demo.cmo -c -impl lib/camlp5_odoc_demo.ml-gen) | |
Running[3]: (cd _build/default/_doc/_odoc/pkg/camlp5_odoc_demo && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc compile --pkg camlp5_odoc_demo -o page-index.odoc ../../../_mlds/camlp5_odoc_demo/index.mld) | |
Running[4]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/not-ocamlfind preprocess -package camlp5,pa_ppx.dock -syntax camlp5o lib/A_with_camlp5.mli) > _build/default/lib/A_with_camlp5.pp.mli | |
Running[5]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamldep.opt -modules -intf lib/B_no_camlp5.mli) > _build/default/lib/.camlp5_odoc_demo.objs/B_no_camlp5.mli.d | |
Running[6]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc support-files -o _doc/_html) | |
Running[7]: (cd _build/default/libP5 && /home/kakadu/.opam/4.10.1+fp+flambda/bin/mkcamlp5 -package camlp5,camlp5.pa_o,camlp5.pr_dump,pa_ppx.dock -o pp5+dump+dock.byte) | |
Running[8]: (cd _build/default/_doc/_odoc/pkg/libP5 && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc compile --pkg libP5 -o page-index.odoc ../../../_mlds/libP5/index.mld) | |
Running[9]: (cd _build/default/lib/.camlp5_odoc_demo.objs/byte && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc compile -I . -I ../../../_doc/_odoc/pkg/camlp5_odoc_demo --pkg camlp5_odoc_demo -o camlp5_odoc_demo.odoc camlp5_odoc_demo.cmt) | |
Running[10]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlc.opt -w @[email protected]@30..39@[email protected]@[email protected] -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I lib/.camlp5_odoc_demo.objs/byte -no-alias-deps -opaque -open Camlp5_odoc_demo -o lib/.camlp5_odoc_demo.objs/byte/camlp5_odoc_demo__B_no_camlp5.cmi -c -intf lib/B_no_camlp5.mli) | |
Running[11]: (cd _build/default/lib/.camlp5_odoc_demo.objs/byte && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc compile -I . -I ../../../_doc/_odoc/pkg/camlp5_odoc_demo --pkg camlp5_odoc_demo -o camlp5_odoc_demo__B_no_camlp5.odoc camlp5_odoc_demo__B_no_camlp5.cmti) | |
Output[7]: | |
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/kakadu/.opam/4.10.1+fp+flambda/lib/ocaml/compiler-libs, /home/kakadu/.opam/4.10.1+fp+flambda/lib/ocaml | |
Running[12]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlc.opt -w @[email protected]@30..39@[email protected]@[email protected] -strict-sequence -strict-formats -short-paths -keep-locs -w -49 -nopervasives -nostdlib -g -bin-annot -I libP5/.libP5.objs/byte -no-alias-deps -opaque -o libP5/.libP5.objs/byte/libP5.cmo -c -impl libP5/libP5.ml-gen) | |
Running[13]: (cd _build/default && libP5/pp5+dump+dock.byte libP5/extension.ml) > _build/default/libP5/extension.pp.ml | |
Running[14]: (cd _build/default/libP5/.libP5.objs/byte && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc compile -I . -I ../../../_doc/_odoc/pkg/libP5 --pkg libP5 -o libP5.odoc libP5.cmt) | |
Running[15]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamldep.opt -modules -impl libP5/extension.pp.ml) > _build/default/libP5/.libP5.objs/extension.pp.ml.d | |
Running[16]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlc.opt -w @[email protected]@30..39@[email protected]@[email protected] -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -w -33 -g -bin-annot -I libP5/.libP5.objs/byte -I /home/kakadu/.opam/4.10.1+fp+flambda/lib/camlp5 -no-alias-deps -opaque -open LibP5 -o libP5/.libP5.objs/byte/libP5__Extension.cmo -c -impl libP5/extension.pp.ml) | |
Running[17]: (cd _build/default/libP5/.libP5.objs/byte && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc compile -I . -I ../../../_doc/_odoc/pkg/libP5 --pkg libP5 -o libP5__Extension.odoc libP5__Extension.cmt) | |
Running[18]: (cd _build/default/_doc/_html && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc html -I ../_odoc/pkg/libP5 -I ../../libP5/.libP5.objs/byte -o . ../../libP5/.libP5.objs/byte/libP5.odoc) | |
Running[19]: (cd _build/default/_doc/_html && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc html -I ../_odoc/pkg/libP5 -I ../../libP5/.libP5.objs/byte -o . ../_odoc/pkg/libP5/page-index.odoc) | |
Running[20]: (cd _build/default/_doc/_html && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc html -I ../_odoc/pkg/libP5 -I ../../libP5/.libP5.objs/byte -o . ../../libP5/.libP5.objs/byte/libP5__Extension.odoc) | |
Running[21]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamldep.opt -modules -intf lib/A_with_camlp5.pp.mli) > _build/default/lib/.camlp5_odoc_demo.objs/A_with_camlp5.pp.mli.d | |
Running[22]: (cd _build/default && /home/kakadu/.opam/4.10.1+fp+flambda/bin/ocamlc.opt -w @[email protected]@30..39@[email protected]@[email protected] -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I lib/.camlp5_odoc_demo.objs/byte -no-alias-deps -opaque -open Camlp5_odoc_demo -o lib/.camlp5_odoc_demo.objs/byte/camlp5_odoc_demo__A_with_camlp5.cmi -c -intf lib/A_with_camlp5.pp.mli) | |
Running[23]: (cd _build/default/lib/.camlp5_odoc_demo.objs/byte && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc compile -I . -I ../../../_doc/_odoc/pkg/camlp5_odoc_demo --pkg camlp5_odoc_demo -o camlp5_odoc_demo__A_with_camlp5.odoc camlp5_odoc_demo__A_with_camlp5.cmti) | |
Running[24]: (cd _build/default/_doc/_html && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc html -I ../_odoc/pkg/camlp5_odoc_demo -I ../../lib/.camlp5_odoc_demo.objs/byte -o . ../../lib/.camlp5_odoc_demo.objs/byte/camlp5_odoc_demo.odoc) | |
Running[25]: (cd _build/default/_doc/_html && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc html -I ../_odoc/pkg/camlp5_odoc_demo -I ../../lib/.camlp5_odoc_demo.objs/byte -o . ../../lib/.camlp5_odoc_demo.objs/byte/camlp5_odoc_demo__B_no_camlp5.odoc) | |
Running[26]: (cd _build/default/_doc/_html && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc html -I ../_odoc/pkg/camlp5_odoc_demo -I ../../lib/.camlp5_odoc_demo.objs/byte -o . ../_odoc/pkg/camlp5_odoc_demo/page-index.odoc) | |
Running[27]: (cd _build/default/_doc/_html && /home/kakadu/.opam/4.10.1+fp+flambda/bin/odoc html -I ../_odoc/pkg/camlp5_odoc_demo -I ../../lib/.camlp5_odoc_demo.objs/byte -o . ../../lib/.camlp5_odoc_demo.objs/byte/camlp5_odoc_demo__A_with_camlp5.odoc) | |
➜ camlp5_odoc_demo git:(master) ls -l _build/default/_doc/_html | |
total 40 | |
drwxrwxr-x 5 kakadu kakadu 4096 янв 4 02:43 camlp5_odoc_demo | |
-r--r--r-- 1 kakadu kakadu 13212 янв 4 02:43 highlight.pack.js | |
-r--r--r-- 1 kakadu kakadu 552 янв 4 02:43 index.html | |
drwxrwxr-x 4 kakadu kakadu 4096 янв 4 02:43 libP5 | |
-r--r--r-- 1 kakadu kakadu 12168 янв 4 02:43 odoc.css | |
➜ camlp5_odoc_demo git:(master) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment