Files
Geneweb/lib/gwdb-legacy/dune
2024-03-05 22:01:20 +01:00

8 lines
261 B
Plaintext

(library
(name gwdb_legacy)
(public_name geneweb.gwdb-legacy)
(implements geneweb.gwdb_driver)
(libraries geneweb.def geneweb.util re unix)
(modules_without_implementation dbdisk)
(modules btree database dbdisk dutil gwdb_driver gwdb_gc iovalue outbase))