diff --git a/dune-project b/dune-project new file mode 100644 index 0000000..1dddd07 --- /dev/null +++ b/dune-project @@ -0,0 +1,2 @@ +(lang dune 1.11) +(name genspio) diff --git a/src/examples/dune b/src/examples/dune new file mode 100644 index 0000000..e5cca5e --- /dev/null +++ b/src/examples/dune @@ -0,0 +1,9 @@ +;; Generated by `please_lib.ml` +(executable (name downloader) (libraries genspio nonstd sosa)(modules downloader)) +(executable (name vm_tester) (libraries genspio nonstd sosa)(modules vm_tester)) +(executable (name service_composer) (libraries unix genspio nonstd sosa)(modules service_composer)) +(executable (name multigit) (libraries unix genspio nonstd sosa)(modules multigit)) +(executable (name small) (libraries genspio nonstd sosa)(modules small)) +(rule (targets small_examples.ml)(deps small.exe)(action (progn +(run ./small.exe small_examples.ml)))) +(executable (name small_examples) (libraries genspio tests nonstd sosa)(modules small_examples)) diff --git a/src/lib/dune b/src/lib/dune new file mode 100644 index 0000000..35af884 --- /dev/null +++ b/src/lib/dune @@ -0,0 +1,4 @@ +;; Generated by `please_lib.ml` +(rule (targets meta.ml)(deps )(action (progn +(write-file "meta.ml" "(** Metadata Module Generated by the Build System *)\n\nlet version = \"0.0.3-dev\"")))) +(library (name genspio) (public_name genspio) (libraries nonstd sosa) ) diff --git a/src/test-lib/dune b/src/test-lib/dune new file mode 100644 index 0000000..ea33a17 --- /dev/null +++ b/src/test-lib/dune @@ -0,0 +1,2 @@ +;; Generated by `please_lib.ml` +(library (name tests) (libraries genspio uri nonstd sosa) ) diff --git a/src/test/dune b/src/test/dune new file mode 100644 index 0000000..8574c1e --- /dev/null +++ b/src/test/dune @@ -0,0 +1,2 @@ +;; Generated by `please_lib.ml` +(executable (name main) (libraries genspio tests nonstd sosa))