Use newest Platform which includes Clean parsing/pretty-printing modu…

…les; index itask compiler instead of classic
clean-cloogle · Jul 11, 2018 · 8f8010b · 8f8010b
1 parent fc6e090
commit 8f8010b
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 9 deletions.
diff --git a/backend/Cloogle b/backend/Cloogle
diff --git a/backend/Dockerfile b/backend/Dockerfile
@@ -5,7 +5,7 @@ COPY libs.json /usr/src/cloogle/libs.json
 COPY util/fetch_libs.sh /usr/src/cloogle/fetch_libs.sh
 WORKDIR /usr/src/cloogle
 
-RUN install_clean.sh bundle-complete 2018-07-05 \
+RUN install_clean.sh bundle-complete 2018-07-12 \
 	&& PACKAGES="patch jq" \
 	&& apt-get update -qq\
 	&& apt-get install -qq $PACKAGES --no-install-recommends\

diff --git a/backend/Makefile b/backend/Makefile
@@ -10,7 +10,6 @@ CLMFLAGS:=-h 250M -nr -nortsopts\
 	-IL Platform/Deprecated/StdLib\
 	-I Cloogle\
 	-I Cloogle/libcloogle\
-	-I Cloogle/CleanPrettyPrint\
 	-I Cloogle/CleanRegex
 ifeq "$(shell expr `gcc -dumpversion | cut -f1 -d.` \>= 6)" "1"
 	CLMFLAGS+=-l -no-pie

diff --git a/libs.json b/libs.json
@@ -49,7 +49,7 @@
 		{
 			"name": "clean-compiler",
 			"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/clean-compiler"],
-			"path": "trunk",
+			"path": "branches/itask",
 			"info_url": "https://svn.cs.ru.nl/repos/clean-compiler/",
 			"pattern_app": [["PWildcard"]]
 		},
@@ -108,11 +108,6 @@
 			"fetch_url": ["Git", "https://github.com/camilstaps/CleanInotify"],
 			"info_url": "https://github.com/camilstaps/CleanInotify"
 		},
-		{
-			"name": "CleanPrettyPrint",
-			"fetch_url": ["Git", "https://github.com/clean-cloogle/CleanPrettyPrint"],
-			"info_url": "https://github.com/clean-cloogle/CleanPrettyPrint"
-		},
 		{
 			"name": "CleanRegex",
 			"fetch_url": ["Git", "https://github.com/camilstaps/CleanRegex"],