internal libraries rather than packages

coq-osiris/dune-project

@@ -49,18 +49,12 @@
   )
 )
 
-(package
-  (name translatorlib)
-  ; TODO
-)
-
-(package
-  (name extracted)
-  ; TODO
-)
-
 (package
   (name osiris-interpreter)
-  ; TODO
+  (authors "Jean-Marie Madiot")
+  (maintainers "Jean-Marie Madiot")
+  (homepage https://gitlab.inria.fr/fpottier/osiris/)
+  (bug_reports jean-marie.madiot@inria.fr)
+  (synopsis "Osiris Interpreter")
   (depends coq-osiris)
 )

coq-osiris/extracted.opam

-# This file is generated by dune, edit dune-project instead
-opam-version: "2.0"
-depends: [
-  "dune" {>= "3.8"}
-  "odoc" {with-doc}
-]
-build: [
-  ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
-]

coq-osiris/interp/extracted/dune

 (library
-  (package extracted)
   (name extracted)
   (flags :standard "-w" "A-40-41-42-44-45")
 )

coq-osiris/interp/translatorlib/dune

 (library
- (package translatorlib)
  (name translatorlib)
  (libraries
    ocaml-compiler-libs.bytecomp

coq-osiris/translatorlib.opam

-# This file is generated by dune, edit dune-project instead
-opam-version: "2.0"
-depends: [
-  "dune" {>= "3.8"}
-  "odoc" {with-doc}
-]
-build: [
-  ["dune" "subst"] {dev}
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@runtest" {with-test}
-    "@doc" {with-doc}
-  ]
-]