[ fix ] makefile

metaborg · Oct 14, 2020 · 0c096fe · 0c096fe
1 parent 8a4a4fc
commit 0c096fe
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 8 deletions.
diff --git a/flake.nix b/flake.nix
@@ -17,8 +17,8 @@
 
         installPhase = "";
 
-        LANG   = "en_US.utf8";
-        LC_ALL = "C";
+        LANG   = "en_US.UTF-8";
+        LC_ALL = "en_US.UTF-8";
       };
   };
 }
diff --git a/makefile b/makefile
@@ -1,11 +1,13 @@
 VERSION = 1.0.0-SNAPSHOT
 
+AGDA = agda -W noDeprecationWarning
+
 # some library paths
 docs/%.html: %.agda
-	agda $< --html --html-dir=./docs/
+	$(AGDA) $< --html --html-dir=./docs/
 
 %.agdai: %.agda
-	agda $<
+	$(AGDA) $<
 
 all: lib Readme.agdai
 
@@ -19,10 +21,7 @@ docs: lib docs/Readme.html
 	cp docs/Readme.html docs/index.html
 
 ### libraries
-lib: lib/stdlib/.git lib/stdlib++/.git
-
-lib/stdlib++/.git:
-	git submodule update --init lib/stdlib++
+lib: lib/stdlib/.git
 
 lib/stdlib/.git:
 	git submodule update --init lib/stdlib