dune init project

atrn0 · May 29, 2021 · fdd0d2c · fdd0d2c
1 parent 0e38823
commit fdd0d2c
Show file tree

Hide file tree

Showing 8 changed files with 12 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+_build/
diff --git a/bin/dune b/bin/dune
@@ -0,0 +1,4 @@
+(executable
+ (public_name lambda)
+ (name main)
+ (libraries lambda))
diff --git a/bin/main.ml b/bin/main.ml
@@ -0,0 +1 @@
+let () = print_endline "Hello, World!"
diff --git a/dune-project b/dune-project
@@ -0,0 +1,2 @@
+(lang dune 2.8)
+(name lambda)
diff --git a/lambda.opam b/lambda.opam
diff --git a/lib/dune b/lib/dune
@@ -0,0 +1,2 @@
+(library
+ (name lambda))
diff --git a/test/dune b/test/dune
@@ -0,0 +1,2 @@
+(test
+ (name lambda))
diff --git a/test/lambda.ml b/test/lambda.ml