Rework GAP tooling

yurrriq · Aug 22, 2020 · e5688b6 · e5688b6
1 parent 7a23a65
commit e5688b6
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 5 deletions.
diff --git a/.dir-locals.el b/.dir-locals.el
@@ -2,7 +2,7 @@
 ;;; For more information see (info "(emacs) Directory Variables")
 
 ((gap-mode
-  (eval . (setq gap-executable (getenv "GAP_EXECUTABLE"))))
+  (gap-executable . "gap"))
  (idris-mode
   (idris-interpreter-flags "-p" "contrib")
   (idris-interpreter-path . "idris")))
diff --git a/Makefile b/Makefile
@@ -1,15 +1,15 @@
-srcs := \
+gap-srcs := \
 	PackageInfo.g \
 	init.g \
 	lib/gis.gd \
 	lib/gis.gi \
 	makedoc.g \
 	read.g
 
-check: ${srcs}
+gap-check: ${srcs}
 	gap --nointeract -l ";." -q tst/testall.g
 
-docs: makedoc.g ${srcs}
+gap-docs: makedoc.g ${srcs}
 	gap --nointeract -b $<
 
 

diff --git a/shell.nix b/shell.nix
@@ -24,5 +24,4 @@ pkgs.mkShell {
       pre-commit
     ]
   );
-  GAP_EXECUTABLE = "${pkgs.gap-full}/bin/gap";
 }