Skip to content

Commit

Permalink
Commit files generated by please.mlt
Browse files Browse the repository at this point in the history
  • Loading branch information
smondet committed Feb 18, 2020
1 parent c1e5bf4 commit 3ad733e
Show file tree
Hide file tree
Showing 5 changed files with 19 additions and 0 deletions.
2 changes: 2 additions & 0 deletions dune-project
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
(lang dune 1.11)
(name genspio)
9 changes: 9 additions & 0 deletions src/examples/dune
Original file line number Diff line number Diff line change
@@ -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))
4 changes: 4 additions & 0 deletions src/lib/dune
Original file line number Diff line number Diff line change
@@ -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) )
2 changes: 2 additions & 0 deletions src/test-lib/dune
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
;; Generated by `please_lib.ml`
(library (name tests) (libraries genspio uri nonstd sosa) )
2 changes: 2 additions & 0 deletions src/test/dune
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
;; Generated by `please_lib.ml`
(executable (name main) (libraries genspio tests nonstd sosa))

0 comments on commit 3ad733e

Please sign in to comment.