Skip to content

Instantly share code, notes, and snippets.

@Kakadu
Created January 3, 2021 23:44
Show Gist options
  • Save Kakadu/753b8955ada690ad09fb143ff682695c to your computer and use it in GitHub Desktop.
Save Kakadu/753b8955ada690ad09fb143ff682695c to your computer and use it in GitHub Desktop.
camlp5 + odoc
➜ 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