Using https://github.com/sparverius/ats-acc under WSL 1 (Ubuntu 20.04 LTS)

build.patch

diff --git a/DATS/Makefile b/DATS/Makefile
index ef0418e..6df16b0 100644
--- a/DATS/Makefile
+++ b/DATS/Makefile
@@ -7,12 +7,9 @@ MAKEFLAGS += --silent
 
 ######
 
-PATSCC=\
-$(PATSHOME)/bin/patscc
-PATSOPT=\
-$(PATSHOME)/bin/patsopt
-ATSCC2JS=\
-$(PATSHOME)/bin/atscc2js
+PATSCC := patscc
+PATSOPT := patsopt
+ATSCC2JS := atscc2js
 
 ######
 
diff --git a/Makefile b/Makefile
index 2790792..3776272 100644
--- a/Makefile
+++ b/Makefile
@@ -7,12 +7,9 @@ MAKEFLAGS += --silent
 
 ######
 
-PATSCC=\
-$(PATSHOME)/bin/patscc
-PATSOPT=\
-$(PATSHOME)/bin/patsopt
-ATSCC2JS=\
-$(PATSHOME)/bin/atscc2js
+PATSCC := patscc
+PATSOPT := patsopt
+ATSCC2JS := atscc2js
 
 ######
 
@@ -52,7 +49,7 @@ trytest: ; ./acc tcatsc ${ARG1}
 ######
 
 install:: ; [ -f "./acc" ] && \
-echo "Installing acc at \$$PATSHOME/bin/" && mv acc $(PATSHOME)/bin/ || \
+echo "Installing acc at \$$HOME/bin/" && mv acc $(HOME)/bin/ || \
 echo "Oops. Something went wrong. Build acc manually with the command 'make && make install'"
 
 
@@ -66,7 +63,7 @@ testrun:: ; @printf "\e[33mbuilding...\e[0m\n"
 testrun:: test0
 testrun:: ; @printf "\e[36mrunning tests... \e[0m\n" && printf "\e[36m>>>\e[0m\n"
 testrun:: ; @printf "Each test will output the current error message (with patscc) and the corresponding pretty-printed message (with acc)\n"
-testrun:: ; -@sh ./TEST/tests.sh
+testrun:: ; -@bash ./TEST/tests.sh
 
 ######