Add fields to CleanDistribution option for fetching Clean libraries

parent ca940076
...@@ -30,9 +30,10 @@ finaliseDB :: ![CloogleEntry] !TemporaryDB -> *CloogleDB ...@@ -30,9 +30,10 @@ finaliseDB :: ![CloogleEntry] !TemporaryDB -> *CloogleDB
* A place to get a Clean library. * A place to get a Clean library.
*/ */
:: SourceURL :: SourceURL
= SVN !String = SVN !String //* The URL to a subversion repository
| Git !String | Git !String //* The URL to a git repository
| CleanDistribution !String | CleanDistribution !String !(!String,!String)
//* the directory in CLEANLIB (e.g. Platform) and the platform and name of the package (e.g. (linux-x64,lib-platform))
/** /**
* Patterns on file paths. * Patterns on file paths.
......
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