Cleanup: remove tagfile stuff, people can now build their own tagfiles

.gitignore

@@ -8,4 +8,3 @@ node_modules/
 backend/clean-compiler/
 db/storage/
 cache
-frontend/tags

.gitmodules

@@ -4,6 +4,3 @@
 [submodule "frontend/clean.js"]
 	path = frontend/clean.js
 	url = https://github.com/clean-cloogle/clean.js
-[submodule "backend/cloogle-tags"]
-	path = backend/cloogle-tags
-	url = https://github.com/clean-cloogle/cloogle-tags

README.md

@@ -139,7 +139,7 @@ After installing
 following commands:
 
 ```bash
-touch cloogle.log frontend/tags
+touch cloogle.log
 sudo docker-compose up
 ```
 

backend/Dockerfile

@@ -10,7 +10,6 @@ RUN PACKAGES="make subversion ca-certificates gcc git curl patch" \
 	&& apt-get install -qq $PACKAGES --no-install-recommends \
 	&& make distclean \
 	&& make CloogleServer builddb\
-	&& make -C cloogle-tags\
 	&& rm -r /opt/clean/lib/*\
 	&& svn checkout https://svn.cs.ru.nl/repos/SoccerFun/src /opt/clean/lib/SoccerFun \
 	&& mv /opt/clean/lib/SoccerFun/*/*.[id]cl /opt/clean/lib/SoccerFun \
@@ -29,11 +28,9 @@ RUN PACKAGES="make subversion ca-certificates gcc git curl patch" \
 	&& curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz |\
 	 	tar -xz -C /opt/clean --strip-components=1\
 	&& make types.json\
-	&& cloogle-tags/cloogletags -i types.json -o /tags\
 # Cleanup
 	&& rm -rf \
 		Cloogle \
-		cloogle-tags \
 		Clean\ System\ Files \
 		clean-compiler \
 		*.dcl *.icl \

backend/builddb.icl

@@ -65,7 +65,6 @@ instance zero CLI where
 	                   , "Platform/Data/Graph/Inductive/Query"
 	                   , "SoccerFun/RefereeCoach_"
 	                   , "SoccerFun/Team_"
-	                   , "Cloogle/compiler-patch"
 	                   ]
 	       }
 

cloogle-tags @ d27e800c

-Subproject commit d27e800c68cb3c791615ef297854af793ffca09a

backend/serve

 #!/bin/sh
-cp /tags /frontend-tags
 mkdir -p ./cache/lt ./cache/brief
 while :
 do

docker-compose.yml

@@ -7,7 +7,6 @@ services:
     volumes:
       - "./cloogle.log:/usr/src/cloogle/cloogle.log"
       - "./cache:/usr/src/cloogle/cache"
-      - "./frontend/tags:/frontend-tags"
     restart: always
     cap_add:
       - IPC_LOCK

frontend/index.html

@@ -122,7 +122,6 @@
 					<li>An email to <a href="mailto:query@cloogle.org">query@cloogle.org</a>, with the query in the subject</li>
 				</ul>
 				<p>You can also browse the <a href="src">standard libraries</a> and the <a href="doc">documentation</a>.</p>
-				<p>There is a <a href="tags">tagsfile</a> of the whole database (assuming <code>/opt/clean</code> as <code>CLEAN_HOME</code>).</p>
 			</div>
 		</div>
 		<div id="contributetext" class="tooltip">