From dfd54d137344f20c79be0221f46b7d0393c46fe8 Mon Sep 17 00:00:00 2001 From: Julien Sagot Date: Wed, 27 Nov 2019 14:40:18 +0100 Subject: [PATCH] Package name: geneweb -> geneweb-lib --- geneweb.opam => geneweb-lib.opam | 0 lib/def/dune | 2 +- lib/dune.in | 12 ++++++------ lib/gwdb.mli/dune | 4 ++-- lib/gwdb1/dune | 4 ++-- lib/iovalue/dune | 2 +- lib/sosa.array/dune | 2 +- lib/sosa.mli/dune | 2 +- lib/sosa.num/dune | 2 +- lib/sosa.zarith/dune | 2 +- lib/util/dune | 4 ++-- lib/wserver.mli/dune | 4 ++-- lib/wserver/dune | 2 +- test/dune.in | 4 ++-- 14 files changed, 23 insertions(+), 23 deletions(-) rename geneweb.opam => geneweb-lib.opam (100%) diff --git a/geneweb.opam b/geneweb-lib.opam similarity index 100% rename from geneweb.opam rename to geneweb-lib.opam diff --git a/lib/def/dune b/lib/def/dune index 34d16f814f..6016c394e8 100644 --- a/lib/def/dune +++ b/lib/def/dune @@ -1,5 +1,5 @@ (library (name def) - (public_name geneweb.def) + (public_name geneweb-lib.def) (wrapped false) ) diff --git a/lib/dune.in b/lib/dune.in index f1ad85bfbe..b0e69e97a0 100644 --- a/lib/dune.in +++ b/lib/dune.in @@ -2,7 +2,7 @@ (library (name geneweb) - (public_name geneweb) + (public_name geneweb-lib) (synopsis "GeneWeb library") (preprocess (action (run %{bin:cppo} %%%CPPO_D%%% -V OCAML:%{ocaml_version} %{input-file}))) (libraries unix @@ -11,11 +11,11 @@ stdlib-shims camlp5 camlp5.gramlib - geneweb.gwdb.mli - geneweb.def - geneweb.sosa.mli - geneweb.util - geneweb.wserver.mli + geneweb-lib.gwdb.mli + geneweb-lib.def + geneweb-lib.sosa.mli + geneweb-lib.util + geneweb-lib.wserver.mli markup) (modules_without_implementation config templAst) ) diff --git a/lib/gwdb.mli/dune b/lib/gwdb.mli/dune index d9e35679fa..b48f2c04ce 100644 --- a/lib/gwdb.mli/dune +++ b/lib/gwdb.mli/dune @@ -1,7 +1,7 @@ (library (name gwdb_mli) - (public_name geneweb.gwdb.mli) + (public_name geneweb-lib.gwdb.mli) (wrapped false) - (libraries geneweb.def) + (libraries geneweb-lib.def) (virtual_modules gwdb) ) diff --git a/lib/gwdb1/dune b/lib/gwdb1/dune index accece11a5..31926e2264 100644 --- a/lib/gwdb1/dune +++ b/lib/gwdb1/dune @@ -2,7 +2,7 @@ (name gwdb1_internal) (public_name geneweb-gwdb-legacy.internal) (wrapped false) - (libraries geneweb.def geneweb.wserver.mli geneweb.util geneweb.io) + (libraries geneweb-lib.def geneweb-lib.wserver.mli geneweb-lib.util geneweb-lib.io) (modules_without_implementation dbdisk) (modules database @@ -19,6 +19,6 @@ (name gwdb1) (public_name geneweb-gwdb-legacy) (libraries gwdb1_internal) - (implements geneweb.gwdb.mli) + (implements geneweb-lib.gwdb.mli) (modules gwdb) ) diff --git a/lib/iovalue/dune b/lib/iovalue/dune index 3dec75aee5..7b2cdcdb03 100644 --- a/lib/iovalue/dune +++ b/lib/iovalue/dune @@ -1,5 +1,5 @@ (library (name io) - (public_name geneweb.io) + (public_name geneweb-lib.io) (wrapped false) ) diff --git a/lib/sosa.array/dune b/lib/sosa.array/dune index d716e06ec1..adc7ada9aa 100644 --- a/lib/sosa.array/dune +++ b/lib/sosa.array/dune @@ -1,5 +1,5 @@ (library (name sosa_gw) (public_name geneweb-sosa) - (implements geneweb.sosa.mli) + (implements geneweb-lib.sosa.mli) ) diff --git a/lib/sosa.mli/dune b/lib/sosa.mli/dune index 990e2eaf52..c23110b9a7 100644 --- a/lib/sosa.mli/dune +++ b/lib/sosa.mli/dune @@ -1,6 +1,6 @@ (library (name sosa) - (public_name geneweb.sosa.mli) + (public_name geneweb-lib.sosa.mli) (wrapped false) (virtual_modules sosa) ) diff --git a/lib/sosa.num/dune b/lib/sosa.num/dune index fe2059d9e6..31451b409b 100644 --- a/lib/sosa.num/dune +++ b/lib/sosa.num/dune @@ -2,5 +2,5 @@ (name sosa_num) (public_name geneweb-sosa-num) (libraries num) - (implements geneweb.sosa.mli) + (implements geneweb-lib.sosa.mli) ) diff --git a/lib/sosa.zarith/dune b/lib/sosa.zarith/dune index 99ab0447c1..6028eda851 100644 --- a/lib/sosa.zarith/dune +++ b/lib/sosa.zarith/dune @@ -2,5 +2,5 @@ (name sosa_zarith) (public_name geneweb-sosa-zarith) (libraries zarith) - (implements geneweb.sosa.mli) + (implements geneweb-lib.sosa.mli) ) diff --git a/lib/util/dune b/lib/util/dune index 11dfb7d9d1..a4db707fa4 100644 --- a/lib/util/dune +++ b/lib/util/dune @@ -1,6 +1,6 @@ (library (name util) - (public_name geneweb.util) + (public_name geneweb-lib.util) (wrapped false) - (libraries stdlib-shims unidecode geneweb.def geneweb.io geneweb.gwdb.mli) + (libraries stdlib-shims unidecode geneweb-lib.def geneweb-lib.io geneweb-lib.gwdb.mli) ) diff --git a/lib/wserver.mli/dune b/lib/wserver.mli/dune index 8a13e89c14..3f6452d2bf 100644 --- a/lib/wserver.mli/dune +++ b/lib/wserver.mli/dune @@ -1,7 +1,7 @@ (library (name wserver) - (public_name geneweb.wserver.mli) + (public_name geneweb-lib.wserver.mli) (wrapped false) - (libraries geneweb.def) + (libraries geneweb-lib.def) (virtual_modules wserver) ) diff --git a/lib/wserver/dune b/lib/wserver/dune index 24e5cc99fa..53000d28aa 100644 --- a/lib/wserver/dune +++ b/lib/wserver/dune @@ -2,5 +2,5 @@ (name wserver_gw) (public_name geneweb-wserver) (libraries unix) - (implements geneweb.wserver.mli) + (implements geneweb-lib.wserver.mli) ) diff --git a/test/dune.in b/test/dune.in index 4f8f6a4f3f..447711134f 100644 --- a/test/dune.in +++ b/test/dune.in @@ -1,7 +1,7 @@ (library (name dummy_gwdb) - (libraries geneweb.def stdlib-shims) - (implements geneweb.gwdb.mli) + (libraries geneweb-lib.def stdlib-shims) + (implements geneweb-lib.gwdb.mli) (modules gwdb) )