Skip to content

GitLab

Verified Commit c9dd36e7 authored by Camil Staps's avatar Camil Staps 🚀
Browse files
Options

Add clean-test{,-properties} and make compiler & ide official

parent 4972384d
Hide whitespace changes
Inline Side-by-side
Showing with 26 additions and 15 deletions
libs.json
View file @ c9dd36e7
......@@ -46,6 +46,32 @@
],
"Official":
[
{
"name": "clean-compiler",
"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/clean-compiler"],
"path": "trunk",
"info_url": "https://svn.cs.ru.nl/repos/clean-compiler/",
"pattern_app": [["PWildcard"]]
},
{
"name": "clean-ide",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/clean-and-itasks/clean-ide"],
"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/clean-ide/",
"pattern_app": [["PWildcard"]],
"pattern_exclude": [["PStartsWith","Mac/"],["PStartsWith","MacOSX/"],["PStartsWith","Win/"]]
},
{
"name": "clean-test",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/clean-and-itasks/clean-test"],
"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/clean-test/",
"pattern_app": [["PWildcard"]]
},
{
"name": "clean-test-properties",
"fetch_url": ["Git", "https://gitlab.science.ru.nl/clean-and-itasks/clean-test-properties"],
"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/clean-test-properties/",
"pattern_app": [["PWildcard"]]
},
{
"name": "GraphCopy",
"fetch_url": ["CleanDistribution", "GraphCopy"],
......@@ -102,21 +128,6 @@
"fetch_url": ["Git", "https://github.com/clean-cloogle/CleanTypes"],
"info_url": "https://github.com/clean-cloogle/CleanTypes"
},
{
"name": "clean-compiler",
"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/clean-compiler"],
"path": "trunk",
"info_url": "https://svn.cs.ru.nl/repos/clean-compiler/",
"pattern_app": [["PWildcard"]]
},
{
"name": "clean-ide",
"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/clean-ide"],
"path": "trunk",
"info_url": "https://svn.cs.ru.nl/repos/clean-ide/",
"pattern_app": [["PWildcard"]],
"pattern_exclude": [["PStartsWith","Mac/"],["PStartsWith","MacOSX/"],["PStartsWith","Win/"]]
},
{
"name": "clean-irc",
"fetch_url": ["Git", "https://github.com/clean-cloogle/clean-irc"],
......
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