Commit 7d390c8a authored by Michael Hanus's avatar Michael Hanus
Browse files

download script improved (saving and restoring old config files)

parent d79e0f17
...@@ -16,6 +16,7 @@ CPM="cypm $CPMOPTS" ...@@ -16,6 +16,7 @@ CPM="cypm $CPMOPTS"
############################################################################## ##############################################################################
echo "Updating 'cpm'..." echo "Updating 'cpm'..."
mv cpm/Makefile Makefile.cpm # keep old Makefile mv cpm/Makefile Makefile.cpm # keep old Makefile
mv cpm/vendor/cass/src/CASS/PackageConfig.curry CASS_PackageConfig.curry
rm -rf cpm rm -rf cpm
$CPM checkout cpm $CPM checkout cpm
cd cpm cd cpm
...@@ -25,11 +26,14 @@ rm -rf vendor/*/.git* ...@@ -25,11 +26,14 @@ rm -rf vendor/*/.git*
rm -rf dependencies.txt fetch-dependencies.sh Makefile rm -rf dependencies.txt fetch-dependencies.sh Makefile
cd .. cd ..
mv Makefile.cpm cpm/Makefile mv Makefile.cpm cpm/Makefile
mv CASS_PackageConfig.curry cpm/vendor/cass/src/CASS/PackageConfig.curry
echo "'cpm' updated from package repository." echo "'cpm' updated from package repository."
############################################################################## ##############################################################################
echo "Updating 'optimize'..." echo "Updating 'optimize'..."
mv optimize/Makefile Makefile.optimize # keep old Makefile mv optimize/Makefile Makefile.optimize # keep old Makefile
mv optimize/.cpm/packages/cass/src/CASS/PackageConfig.curry CASS_PackageConfig.curry
mv optimize/package.json optimize_package.json
rm -rf optimize rm -rf optimize
$CPM checkout transbooleq $CPM checkout transbooleq
mv transbooleq optimize mv transbooleq optimize
...@@ -57,4 +61,6 @@ cd .cpm/packages ...@@ -57,4 +61,6 @@ cd .cpm/packages
cd ../.. cd ../..
cd .. cd ..
mv Makefile.optimize optimize/Makefile mv Makefile.optimize optimize/Makefile
mv CASS_PackageConfig.curry optimize/.cpm/packages/cass/src/CASS/PackageConfig.curry
mv optimize_package.json optimize/package.json
echo "'optimize' updated from package repository." echo "'optimize' updated from package repository."
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment