Add cloogle.org/tags based on database

.gitignore

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

.gitmodules

@@ -4,3 +4,6 @@
 [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
+touch cloogle.log frontend/tags
 sudo docker-compose up
 ```
 

backend/Dockerfile

@@ -6,10 +6,11 @@ COPY . /usr/src/cloogle
 WORKDIR /usr/src/cloogle
 
 RUN PACKAGES="make subversion ca-certificates gcc git curl patch" \
-	&& apt-get update \
+	&& apt-get update -qq\
 	&& 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 \
@@ -28,13 +29,13 @@ 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 \
-		CleanPrettyPrint \
-		CleanTypeUnifier \
+		Cloogle \
+		cloogle-tags \
 		Clean\ System\ Files \
 		clean-compiler \
-		clean-platform \
 		*.dcl *.icl \
 		Dockerfile \
 		Makefile \

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,6 +7,7 @@ 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,6 +122,7 @@
 					<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">