diff options
| author | Camil Staps | 2017-02-07 19:10:34 +0100 |
|---|---|---|
| committer | Camil Staps | 2017-02-07 19:10:34 +0100 |
| commit | f43db4cbbf9bbcde928daa49ce3fac96be1fa822 (patch) | |
| tree | 32ba6071a9b407cdf9fd92b2be748a01391b8c66 /clpm.json | |
| parent | Make main module optional (diff) | |
Improved installation
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.?.?" + ] } |