Commit 2b44a070 authored by Mart Lubbers's avatar Mart Lubbers

Add CleanSerial and add readme section on how to

parent b728e2c6
......@@ -150,6 +150,21 @@ realtime usage chart is shown.
For longterm statistics you can see
[cloogle.org/stats/longterm.html](https://cloogle.org/stats/longterm.html).
## How to add new libraries
To add a library you have to add it in to the following places:
- `backend/Dockerfile`
In this file you have to add the download of the library. E.g. add the
`subversion checkout` or `git clone` to `/opt/clean/lib`.
- `frontend/Dockerfile`
In this file do the same as in the backend to make the files through the
web frontend.
- `backend/builddb.icl`
Add your library to the `zero` instance of `CLI` to get it indexed.
## Authors
Maintainers:
......
......@@ -14,11 +14,12 @@ RUN PACKAGES="subversion ca-certificates" \
COPY . /usr/src/cloogle
WORKDIR /usr/src/cloogle
RUN PACKAGES="make subversion ca-certificates gcc" \
RUN PACKAGES="make subversion ca-certificates gcc git" \
&& apt-get update \
&& apt-get install -qq $PACKAGES \
&& svn checkout https://svn.cs.ru.nl/repos/SoccerFun/src /opt/clean/lib/SoccerFun \
&& svn checkout https://svn.cs.ru.nl/repos/clean-libraries/trunk/Libraries/ObjectIO/ObjectIO /opt/clean/lib/ObjectIO \
&& git clone https://gitlab.science.ru.nl/mlubbers/CleanSerial /opt/clean/lib/CleanSerial \
&& make distclean \
&& make \
# Cleanup
......
......@@ -68,6 +68,7 @@ instance zero CLI where
, ("Generics", const False)
, ("MersenneTwister", const False)
, ("TCPIP", const False)
, ("CleanSerial", const False)
, ("clean-platform/OS-Independent", const False)
, ("clean-platform/OS-Linux", const False)
, ("clean-platform/OS-Linux-32", const False)
......
......@@ -8,7 +8,7 @@ RUN docker-php-source extract \
&& docker-php-source delete
# Clean libraries, for /srv/view.php
RUN apt-get update && apt-get install -y subversion ca-certificates
RUN apt-get update && apt-get install -y subversion ca-certificates git
RUN mkdir -p /opt/clean && cd /opt/clean &&\
curl -sSL http://ftp.cs.ru.nl/Clean/nightly/clean-itasks-linux64-20160531.tar.gz\
......@@ -17,7 +17,8 @@ RUN mkdir -p /opt/clean && cd /opt/clean &&\
mv StdEnv/*.icl lib/StdEnv
RUN svn checkout https://svn.cs.ru.nl/repos/SoccerFun/src /opt/clean/lib/SoccerFun &&\
svn checkout https://svn.cs.ru.nl/repos/clean-libraries/trunk/Libraries/ObjectIO/ObjectIO /opt/clean/lib/ObjectIO
svn checkout https://svn.cs.ru.nl/repos/clean-libraries/trunk/Libraries/ObjectIO/ObjectIO /opt/clean/lib/ObjectIO &&\
git clone https://gitlab.science.ru.nl/mlubbers/CleanSerial /opt/clean/lib/CleanSerial
# Pygments, for highlighting
RUN apt-get update && apt-get install -y python3.4 python3-pip mercurial
......
......@@ -95,6 +95,7 @@
<label><input type="checkbox" class="search_libs" checked="checked" value="MersenneTwister"/> MersenneTwister</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="ObjectIO"> ObjectIO</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="TCPIP"/> TCPIP</label>
<label><input type="checkbox" class="search_libs" checked="checked" value="CleanSerial"/> CleanSerial</label>
</td>
<td id="libs-clean-platform">
<label><input type="checkbox" class="search_libs" checked="checked" value="clean-platform/OS-Independent"/> clean-platform/OS-Independent</label><br/>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment