diff options
Diffstat (limited to 'clpm.json')
-rw-r--r-- | clpm.json | 14 |
1 files changed, 6 insertions, 8 deletions
@@ -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.?.?" + ] } |