aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGene Pasquet <dev@etenil.net>2024-12-04 23:42:39 +0000
committerGene Pasquet <dev@etenil.net>2024-12-04 23:42:39 +0000
commit33ec00131a768c0e0d3188a0a663591eb4721c19 (patch)
tree3362d2b1fafdd1da49af4ab67ab41e54c3389b46
parent2618752e9b65b7dd2b03e498ff7f5a03eacc72b0 (diff)
Add makefile
-rw-r--r--.gitignore2
-rw-r--r--Makefile13
2 files changed, 15 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..326aa91
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+/deepenv
+/dispenv \ No newline at end of file
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..53ae1ff
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,13 @@
+deepenv: deepenv.scm
+ csc -o deepenv deepenv.scm
+
+dispenv: dispenv.scm
+ csc -o dispenv dispenv.scm
+
+.PHONY: static
+static: deepenv.scm
+ csc -static -o deepenv.static deepenv.scm
+
+.PHONY: clean
+clean:
+ rm -f dispenv deepenv dispenv.link deepenv.link deepenv.static