aboutsummaryrefslogtreecommitdiff
path: root/clpm.json
diff options
context:
space:
mode:
Diffstat (limited to 'clpm.json')
-rw-r--r--clpm.json14
1 files changed, 6 insertions, 8 deletions
diff --git a/clpm.json b/clpm.json
index 4517fa2..74f4f1d 100644
--- a/clpm.json
+++ b/clpm.json
@@ -6,16 +6,14 @@
"url": "https://github.com/camilstaps/clpm",
"main": "clpm",
"paths": [
- "$CLEAN_HOME/lib/clean-platform/OS-Linux-64",
- "$CLEAN_HOME/lib/clean-platform/OS-Linux",
- "$CLEAN_HOME/lib/clean-platform/OS-Posix",
- "$CLEAN_HOME/lib/clean-platform/OS-Independent",
- "$CLEAN_HOME/lib/clean-platform/OS-Independent/Deprecated/StdLib",
- "$CLEAN_HOME/lib/Generics",
"$CLEAN_HOME/lib/TCPIP"
],
"options": {
"show_result": false,
- "show_time": false
- }
+ "show_time": false,
+ "heap_size": 10000
+ },
+ "depends": [
+ "clean-platform:~0.?.?"
+ ]
}