Commit c3c854d4 authored by Mart Lubbers's avatar Mart Lubbers Committed by GitHub

Fix iTasks and add Gast (#85)

* Fix iTasks and add Gast

* Update api.php

* fix typo
parent e1b03ff7
......@@ -19,6 +19,7 @@ RUN PACKAGES="make subversion ca-certificates gcc git curl" \
&& 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 \
&& svn checkout https://svn.cs.ru.nl/repos/gast/trunk/ /opt/clean/lib/Gast \
&& git clone https://gitlab.science.ru.nl/mlubbers/CleanSerial /opt/clean/lib/CleanSerial \
&& make distclean \
&& make CloogleServer builddb\
......
......@@ -63,6 +63,7 @@ instance zero CLI where
, ("CleanSerial", const False)
, ("Directory", const False)
, ("Dynamics", const False)
, ("Gast", const False)
, ("Generics", const False)
, ("GraphCopy", const False)
, ("iTasks", const False)
......
......@@ -16,6 +16,7 @@ RUN mkdir -p /opt/clean && cd /opt/clean &&\
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/gast/trunk/ /opt/clean/lib/Gast &&\
git clone https://gitlab.science.ru.nl/mlubbers/CleanSerial /opt/clean/lib/CleanSerial
# Pygments, for highlighting
......
......@@ -79,7 +79,6 @@
<table id="lib_selection">
<tr>
<th><a title="Toggle selection" href="javascript:toggleLibSelection('libs-clean-2.4')">Clean 2.4</a></th>
<th><a title="Toggle selection" href="javascript:toggleLibSelection('libs-itasks')">iTasks</a></th>
<th><a title="Toggle selection" href="javascript:toggleLibSelection('libs-misc')">Miscellaneous</a></th>
</tr>
<tr>
......@@ -88,23 +87,18 @@
<label><input type="checkbox" class="search_libs" checked="checked" value="ArgEnv"/> ArgEnv</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="Directory"/> Directory</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="Dynamics"/> Dynamics</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="Gast"/> Gast</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="Generics"/> Generics</label><br/>
<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="StdLib"/> StdLib</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="TCPIP"/> TCPIP</label>
</td>
<td id="libs-itasks">
<label><input type="checkbox" class="search_libs" checked="checked" value="iTasks-SDK/Dependencies/graph_copy"/> iTasks-SDK/Dependencies/graph_copy</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="iTasks-SDK/Dependencies/clean-sapl/src"/> iTasks-SDK/Dependencies/clean-sapl/src</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="iTasks-SDK/Server"/> iTasks-SDK/Server</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="iTasks-SDK/Tests"/> iTasks-SDK/Tests</label>
<label><input type="checkbox" class="search_libs" checked="checked" value="TCPIP"/> TCPIP</label><br/>
</td>
<td id="libs-misc">
<label><input type="checkbox" class="search_libs" checked="checked" value="CleanSerial"/> CleanSerial</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="Gast"/> Gast</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="Platform"/> Platform</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="SoccerFun">SoccerFun</label>
<label><input type="checkbox" class="search_libs" checked="checked" value="SoccerFun"> SoccerFun</label><br/>
<label><input type="checkbox" class="search_libs" checked="checked" value="iTasks"/> iTasks</label>
</td>
</tr>
</table>
......
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