diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | Makefile | 13 |
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 |