diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
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 |