Add doc/ to the target in Makefile and make the cabal command customizable (agda#2830)

* Add stack yaml for GHC 9.10.2 (stackage lts-24.11)

* Fix Everything.agda targets in Makefile

* Allow customization of the cabal command

* Bump CI tag to Agda v2.8.0 (not RCs)

* Fix CABAL_EXEC variable name

* Update stack-9.10.2 to 9.10.3

Author: shhyou

GNUmakefile

@@ -2,34 +2,36 @@ AGDA_EXEC ?= agda
 AGDA_OPTIONS=-Werror
 AGDA_RTS_OPTIONS=+RTS -M4.0G -H3.5G -A128M -RTS
 AGDA=$(AGDA_EXEC) $(AGDA_OPTIONS) $(AGDA_RTS_OPTIONS)
+CABAL_EXEC ?= cabal
+CABAL_RUN_COMMAND=$(CABAL_EXEC) run
 
 # Before running `make test` the `fix-whitespace` program should
 # be installed:
 #
 #   cabal install fix-whitespace
 
-test: Everything.agda check-whitespace
+test: doc/Everything.agda check-whitespace
 	cd doc && $(AGDA) README.agda
 
 testsuite:
 	$(MAKE) -C tests test AGDA="$(AGDA)" AGDA_EXEC="$(AGDA_EXEC)" only=$(only)
 
 fix-whitespace:
-	cabal exec -- fix-whitespace
+	$(CABAL_EXEC) exec -- fix-whitespace
 
 check-whitespace:
-	cabal exec -- fix-whitespace --check
+	$(CABAL_EXEC) exec -- fix-whitespace --check
 
-setup: Everything.agda
+setup: doc/Everything.agda
 
-.PHONY: Everything.agda
-Everything.agda:
-	cabal run GenerateEverything -- --out-dir doc
+.PHONY: doc/Everything.agda
+doc/Everything.agda:
+	$(CABAL_RUN_COMMAND) GenerateEverything -- --out-dir doc
 
 .PHONY: listings
-listings: Everything.agda
+listings: doc/Everything.agda
 	cd doc && $(AGDA) --html README.agda -v0
 
 clean :
 	find . -type f -name '*.agdai' -delete
-	rm -f Everything.agda EverythingSafe.agda
+	rm -f doc/Everything.agda doc/EverythingSafe.agda

stack-9.10.3.yaml

@@ -0,0 +1,5 @@
+snapshot: lts-24.17
+compiler: ghc-9.10.3
+compiler-check: match-exact
+packages:
+- .