Optimize CI REPL run

Author: Ziharrk

.github/workflows/ci.yml

@@ -68,9 +68,7 @@ jobs:
 
       - name: Build KMCC repl
         run: |
-          make CURRYBIN_REPL_PAKCS_ARG= CYPM=$PWD/cypm PAKCS=$PWD/pakcs bin/kmcc_repl
-          # twice, to generate with pakcs and then with kmcc
-          make CURRYBIN_REPL_PAKCS_ARG="-d CURRYBIN=$(BINDIR)/kmcc" CYPM=$PWD/cypm PAKCS=$PWD/pakcs bin/kmcc_repl
+          make CURRYBIN_REPL_PAKCS_ARG= CURRYBIN_REPL_PAKCS_ARG_2="-d CURRYBIN=$(BINDIR)/kmcc" CYPM=$PWD/cypm PAKCS=$PWD/pakcs bin/kmcc_repl
 
       - name: List produced binaries
         run: ls -l bin

Makefile

@@ -36,6 +36,7 @@ GIT_HISTORY_AVAILABLE := $(shell ! test -d "$(ROOT)/.git"; echo $$?)
 # since that would try to run a dockerized pakcs from within a dockerized pakcs-cypm, which is not possible.
 # On CI, this is fixed by overriding this variable with no argument.
 CURRYBIN_REPL_PAKCS_ARG = -d CURRYBIN=$(PAKCS)
+CURRYBIN_REPL_PAKCS_ARG_2 =
 
 # Compiler version from the compiler cabal file
 export VERSION := $(shell head -3 $(ROOT)/compiler/kmcc.cabal | tail -1 | cut -c21-)
@@ -95,7 +96,7 @@ ifeq (,$(wildcard bin/kmcc_repl)) # build REPL using PAKCS, since we need the RE
 	fi
 	cd repl && $(CYPM) $(CURRYBIN_REPL_PAKCS_ARG) -d BININSTALLPATH=$(BINDIR) install
 	# recompile using the newly built REPL:
-	cd repl && $(CYPM) -d BININSTALLPATH=$(BINDIR) install
+	cd repl && $(CYPM) $(CURRYBIN_REPL_PAKCS_ARG_2) -d BININSTALLPATH=$(BINDIR) install
 else
 	cd repl && $(CYPM) -d BININSTALLPATH=$(BINDIR) install
 endif