Skip to content
Permalink
Browse files

Package name: geneweb -> geneweb-lib

  • Loading branch information
sagotch committed Nov 27, 2019
1 parent 2523607 commit dfd54d137344f20c79be0221f46b7d0393c46fe8
File renamed without changes.
@@ -1,5 +1,5 @@
(library
(name def)
(public_name geneweb.def)
(public_name geneweb-lib.def)
(wrapped false)
)
@@ -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)
)
@@ -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)
)
@@ -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)
)
@@ -1,5 +1,5 @@
(library
(name io)
(public_name geneweb.io)
(public_name geneweb-lib.io)
(wrapped false)
)
@@ -1,5 +1,5 @@
(library
(name sosa_gw)
(public_name geneweb-sosa)
(implements geneweb.sosa.mli)
(implements geneweb-lib.sosa.mli)
)
@@ -1,6 +1,6 @@
(library
(name sosa)
(public_name geneweb.sosa.mli)
(public_name geneweb-lib.sosa.mli)
(wrapped false)
(virtual_modules sosa)
)
@@ -2,5 +2,5 @@
(name sosa_num)
(public_name geneweb-sosa-num)
(libraries num)
(implements geneweb.sosa.mli)
(implements geneweb-lib.sosa.mli)
)
@@ -2,5 +2,5 @@
(name sosa_zarith)
(public_name geneweb-sosa-zarith)
(libraries zarith)
(implements geneweb.sosa.mli)
(implements geneweb-lib.sosa.mli)
)
@@ -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)
)
@@ -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)
)
@@ -2,5 +2,5 @@
(name wserver_gw)
(public_name geneweb-wserver)
(libraries unix)
(implements geneweb.wserver.mli)
(implements geneweb-lib.wserver.mli)
)
@@ -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)
)

0 comments on commit dfd54d1

Please sign in to comment.
You can’t perform that action at this time.