From fdd0d2cc794f12a173edc2d7d8d4da390669d21f Mon Sep 17 00:00:00 2001 From: atrn0 <14242642+atrn0@users.noreply.github.com> Date: Sat, 29 May 2021 14:43:33 +0900 Subject: [PATCH] dune init project --- .gitignore | 1 + bin/dune | 4 ++++ bin/main.ml | 1 + dune-project | 2 ++ lambda.opam | 0 lib/dune | 2 ++ test/dune | 2 ++ test/lambda.ml | 0 8 files changed, 12 insertions(+) create mode 100644 .gitignore create mode 100644 bin/dune create mode 100644 bin/main.ml create mode 100644 dune-project create mode 100644 lambda.opam create mode 100644 lib/dune create mode 100644 test/dune create mode 100644 test/lambda.ml diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..69fa449 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +_build/ diff --git a/bin/dune b/bin/dune new file mode 100644 index 0000000..d1aa796 --- /dev/null +++ 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 new file mode 100644 index 0000000..7bf6048 --- /dev/null +++ b/bin/main.ml @@ -0,0 +1 @@ +let () = print_endline "Hello, World!" diff --git a/dune-project b/dune-project new file mode 100644 index 0000000..f424248 --- /dev/null +++ b/dune-project @@ -0,0 +1,2 @@ +(lang dune 2.8) +(name lambda) diff --git a/lambda.opam b/lambda.opam new file mode 100644 index 0000000..e69de29 diff --git a/lib/dune b/lib/dune new file mode 100644 index 0000000..d3046d1 --- /dev/null +++ b/lib/dune @@ -0,0 +1,2 @@ +(library + (name lambda)) diff --git a/test/dune b/test/dune new file mode 100644 index 0000000..79b6c85 --- /dev/null +++ b/test/dune @@ -0,0 +1,2 @@ +(test + (name lambda)) diff --git a/test/lambda.ml b/test/lambda.ml new file mode 100644 index 0000000..e69de29