Verified Commit 94c35e95 authored by Camil Staps's avatar Camil Staps 🚀

Update libs.json: path of CleanSerial; remove MersenneTwister & Sapl; add...

Update libs.json: path of CleanSerial; remove MersenneTwister & Sapl; add iTasks-electron, clean-doc, & convertprofile
parent e518cf72
Pipeline #44034 passed with stages
in 10 minutes and 29 seconds
......@@ -80,7 +80,8 @@
{
"name": "CleanSerial",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/mlubbers/CleanSerial"],
"info_url": "https://gitlab.science.ru.nl/mlubbers/CleanSerial"
"info_url": "https://gitlab.science.ru.nl/mlubbers/CleanSerial",
"path": "src"
},
{
"name": "clean-selectloop",
......@@ -99,23 +100,17 @@
"fetch_url": ["CleanDistribution", "Directory", ["linux-x64","lib-directory"]],
"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/clean-libraries/tree/master/Libraries/Directory"
},
{
"name": "iTasks-electron",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/cstaps/iTasks-electron"],
"info_url": "https://gitlab.science.ru.nl/cstaps/iTasks-electron",
"path": "src"
},
{
"name": "libcloogle",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/cloogle/libcloogle"],
"info_url": "https://gitlab.science.ru.nl/cloogle/libcloogle"
},
{
"name": "MersenneTwister",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/clean-and-itasks/clean-libraries"],
"info_url": "http://clean.cs.ru.nl/MersenneTwister",
"path": "Libraries/MersenneTwister",
"pattern_exclude": [["PStartsWith","testMersenneTwister"]]
},
{
"name": "Sapl",
"fetch_url": ["CleanDistribution", "Sapl", ["linux-x64","lib-sapl"]],
"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/clean-sapl"
},
{
"name": "StdLib",
"fetch_url": ["CleanDistribution", "StdLib", ["linux-x64","lib-stdlib"]],
......@@ -124,6 +119,13 @@
],
"Applications":
[
{
"name": "clean-doc",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/cstaps/clean-doc"],
"info_url": "https://gitlab.science.ru.nl/cstaps/clean-doc",
"path": "src",
"pattern_app": [["PWildcard"]]
},
{
"name": "clean-ide",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/clean-and-itasks/clean-ide"],
......@@ -150,6 +152,12 @@
"info_url": "https://gitlab.science.ru.nl/clean-compiler-and-rts/compiler",
"pattern_app": [["PWildcard"]]
},
{
"name": "convertprofile",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/cstaps/convertprofile"],
"info_url": "https://gitlab.science.ru.nl/cstaps/convertprofile",
"pattern_app": [["PWildcard"]]
},
{
"name": "SoccerFun",
"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/SoccerFun"],
......
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