From f43db4cbbf9bbcde928daa49ce3fac96be1fa822 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Tue, 7 Feb 2017 19:10:34 +0100 Subject: Improved installation --- clpm.json | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) (limited to 'clpm.json') 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.?.?" + ] } -- cgit v1.2.3