removing cached files
@@ -12,3 +12,4 @@ echo '#!/bin/bash' > "$PREFIX/bin/denoptim"
echo 'java -jar "'$PREFIX'/lib/denoptim-'$PKG_VERSION'-jar-with-dependencies.jar" "$@"' >> "$PREFIX/bin/denoptim"
chmod +x "${PREFIX}/bin/denoptim"
+rm -rf "${PREFIX}/var/cache/"*
