Merge pull request #98 from AestheticIntegration/ewen/duneWithImandra…

…Extract Ewen/dune with imandra extract
imandra-ai · Oct 15, 2018 · 95d01e3 · 95d01e3
2 parents a836a33 + ea4feee
commit 95d01e3
Show file tree

Hide file tree

Showing 10 changed files with 15 additions and 5 deletions.
diff --git a/src-core-printer/dune b/src-core-printer/dune
@@ -2,5 +2,5 @@
   (name        core_printer)
   (public_name core_printer)
   (wrapped  false)
-  (libraries core_pp core_time_defaults core yojson)
+  (libraries core_pp core_time_defaults_pp core yojson)
 )
diff --git a/src-core-time-defaults-pp/core_time_defaults_pp.opam b/src-core-time-defaults-pp/core_time_defaults_pp.opam
diff --git a/src-core-time-defaults-pp/dune b/src-core-time-defaults-pp/dune
@@ -0,0 +1,11 @@
+(library
+  (name        core_time_defaults_pp)
+  (public_name core_time_defaults_pp)
+  (wrapped  false)
+  (libraries 
+      core_time_defaults
+      core_pp
+      core
+      yojson
+    )
+)
diff --git a/src-core-time-defaults/timeDefaults_json.ml → ...ore-time-defaults-pp/timeDefaults_json.ml b/src-core-time-defaults/timeDefaults_json.ml → ...ore-time-defaults-pp/timeDefaults_json.ml
diff --git a/...core-time-defaults/timeDefaults_parser.ml → ...e-time-defaults-pp/timeDefaults_parser.ml b/...core-time-defaults/timeDefaults_parser.ml → ...e-time-defaults-pp/timeDefaults_parser.ml
diff --git a/src-core-time-defaults/timeDefaults_pp.ml → src-core-time-defaults-pp/timeDefaults_pp.ml b/src-core-time-defaults/timeDefaults_pp.ml → src-core-time-defaults-pp/timeDefaults_pp.ml
diff --git a/src-core-time-defaults/dune b/src-core-time-defaults/dune
@@ -3,8 +3,6 @@
   (public_name core_time_defaults)
   (wrapped  false)
   (libraries 
-      core_pp
       core
-      yojson
     )
 )
diff --git a/src-core-utils/dune-project b/src-core-utils/dune-project
@@ -0,0 +1 @@
+(lang dune 1.1)
diff --git a/src-protocol-exts-pp-vg/dune b/src-protocol-exts-pp-vg/dune
@@ -2,5 +2,5 @@
   (name        protocol_exts_pp_vg)
   (public_name protocol_exts_pp_vg)
   (wrapped  false)
-  (libraries yojson core_pp core_time_defaults protocol_exts_vg)
+  (libraries yojson core_pp core_time_defaults_pp protocol_exts_vg)
 )
diff --git a/src-protocol-exts-pp/dune b/src-protocol-exts-pp/dune
@@ -3,5 +3,5 @@
   (public_name protocol_exts_pp)
   (wrapped false)
   (flags (:standard -open Imandra_prelude))
-  (libraries venue_prelude core_pp protocol_exts yojson)
+  (libraries venue_prelude core_pp protocol_exts yojson core_time_defaults_pp)
 )