(compile -O -s cav-db.scm -j cav-db)
(compile -O -s cav-db.import.scm)
(compile -O -s coq-au-vin.scm -j coq-au-vin)
(compile -O -s coq-au-vin.import.scm)
(compile -O -s cav-db-sqlite.scm -j cav-db-sqlite)
(compile -O -s cav-db-sqlite.import.scm)
(install-extension
  'coq-au-vin
  '("cav-db.so" "cav-db.import.so" "coq-au-vin.so"
    "coq-au-vin.import.so" "cav-db-sqlite.so" "cav-db-sqlite.import.so")
  '((version "0.1.2")))