From 318edd7c95b841024c2f7cfc7478aa9c601e12e5 Mon Sep 17 00:00:00 2001 From: Aryadev Chavali Date: Fri, 23 Jul 2021 22:11:17 +0100 Subject: (General)~moved cli files into seperate folder to make space for website --- Makefile | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 Makefile (limited to 'Makefile') diff --git a/Makefile b/Makefile deleted file mode 100644 index 8489a46..0000000 --- a/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -CC=ghc -FILES=Main.hs Math.hs -OUT=nd - -$(OUT): $(FILES) - $(CC) $^ -o $@ - -.PHONY: run -run: - $(MAKE) - ./$(OUT) -int 200 300 400 10009 -- cgit v1.2.3-13-gbd6f