Use git version of compiler

.gitignore

@@ -12,5 +12,4 @@
 *.pdf
 *.toc
 
-clean-compiler/
 testproperties

.gitmodules

+[submodule "src/compiler"]
+	path = src/compiler
+	url = https://gitlab.science.ru.nl/clean-compiler-and-rts/compiler

README.md

@@ -9,8 +9,8 @@ The latest documentation can be [downloaded][doc] in PDF format.
 ## Installation
 
 On Linux, the tool can be installed simply by running
-`make -f Makefile.linux64`. This downloads the right version of the Clean
-compiler. On Windows, you are yourself responsible for this, but a project file
+`make -f Makefile.linux64`. This builds the dependencies of the Clean compiler
+as well. On Windows, you are yourself responsible for this, but a project file
 is provided.
 
 [doc]: https://gitlab.science.ru.nl/clean-and-itasks/clean-test-properties/-/jobs/artifacts/master/raw/doc/doc.pdf?job=doc

src/Makefile.linux64

@@ -5,17 +5,17 @@ BIN:=testproperties
 
 all: $(BIN)
 
-$(BIN): %: %.prj clean-compiler .FORCE
+$(BIN): %: %.prj compiler .FORCE
 	cpm $<
 
 $(addsuffix .prj,$(BIN)): %.prj: %.prj.default
 	cp $^ $@
 
-clean-compiler:
-	svn checkout -r 3056 https://svn.cs.ru.nl/repos/clean-compiler/branches/itask/ clean-compiler
-	$(MAKE) -C clean-compiler/main/Unix
-	$(MAKE) -C clean-compiler/backendC/CleanCompilerSources -f Makefile.linux64
-	ln -s ../../backendC/CleanCompilerSources/backend.a clean-compiler/backend/Clean\ System\ Files/backend_library
+compiler: .FORCE
+	$(MAKE) -C compiler/main/Unix
+	$(MAKE) -C compiler/backendC/CleanCompilerSources -f Makefile.linux64
+	mkdir -p compiler/backend/Clean\ System\ Files
+	ln -fs ../../backendC/CleanCompilerSources/backend.a compiler/backend/Clean\ System\ Files/backend_library
 
 clean:
 	shopt -s globstar; $(RM) -r **/Clean\ System\ Files $(BIN) $(addsuffix .prj,$(BIN))

compiler @ a07b9204

+Subproject commit a07b9204a6c0bc338355df3c9af88dbbf76ea517