Skip to content

Instantly share code, notes, and snippets.

@toots

toots/dune

Last active October 6, 2022 00:03
Show Gist options
  • Save toots/1859a37c264f3c1f75b75e21011ed17e to your computer and use it in GitHub Desktop.
Save toots/1859a37c264f3c1f75b75e21011ed17e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dune
(lang dune 3.2)
(using dune_site 0.1)
(package
(name repro-main)
(depends
(ocaml (>= 4.12.0))
dune-site)
(sites (share libs))
(synopsis "Repro main"))
(package
(name repro-libs)
(depends repro-main)
(synopsis "Repro libs"))
opam@d99f96c0c3f8:/tmp/repro$ cat dune
(generate_sites_module
(module sites)
(sites repro-main))
(library
(name repro_main)
(public_name repro-main)
(libraries dune-site)
(modules sites))
(install
(section
(site
(repro-main libs)))
(package repro-libs)
(files foo.txt))
Raw
dune-project
(lang dune 3.2)
(using dune_site 0.1)
(generate_opam_files true)
(package
(name repro-main)
(depends
(ocaml (>= 4.12.0))
dune-site)
(sites (share libs))
(synopsis "Repro main"))
(package
(name repro-libs)
(depends repro-main)
(synopsis "Repro libs"))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment