1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96
|
#!/bin/sh
# This shell script updates some tools by downloading the current version
# from the Curry package repository.
#
# Note that the execution of this script requires an already installed 'cypm'!
# use local Curry executable if it exists (e.g., we are inside the distro):
CURRYBIN=`pwd`/../bin/curry
if [ -x "$CURRYBIN" ] ; then
CPMOPTS="-d curry_bin=$CURRYBIN"
else
CPMOPTS=
fi
CPM="cypm $CPMOPTS"
##############################################################################
echo "Updating 'cpm'..."
mv cpm/Makefile Makefile.cpm # keep old Makefile
mv cpm/vendor/cass/src/CASS/PackageConfig.curry CASS_PackageConfig.curry
rm -rf cpm
$CPM checkout cpm
cd cpm
rm -rf .git* bin package.json
make fetchdeps
rm -rf vendor/*/.git*
rm -rf dependencies.txt fetch-dependencies.sh Makefile
cd ..
mv Makefile.cpm cpm/Makefile
mv CASS_PackageConfig.curry cpm/vendor/cass/src/CASS/PackageConfig.curry
echo "'cpm' updated from package repository."
##############################################################################
echo "Updating 'optimize'..."
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
$CPM checkout transbooleq
mv transbooleq optimize
cd optimize
$CPM install --noexec
rm -rf .git*
rm -rf .cpm/*_cache
rm -rf .cpm/packages/*/.git*
cd .cpm/packages
CANAV=`ls -d cass-analysis-*`
mv $CANAV cass-analysis
CASSV=`ls -d cass-*\.*\.*`
mv $CASSV cass
ln -s cass-analysis $CANAV
ln -s cass $CASSV
PKGV=`ls -d flatcurry-*`
mv $PKGV flatcurry
ln -s flatcurry $PKGV
PKGV=`ls -d csv-*`
mv $PKGV csv
ln -s csv $PKGV
PKGV=`ls -d xml-*`
mv $PKGV xml
ln -s xml $PKGV
PKGV=`ls -d currypath-*`
mv $PKGV currypath
ln -s currypath $PKGV
PKGV=`ls -d finite-map-*`
mv $PKGV finite-map
ln -s finite-map $PKGV
PKGV=`ls -d propertyfile-*`
mv $PKGV propertyfile
ln -s propertyfile $PKGV
PKGV=`ls -d queue-*`
mv $PKGV queue
ln -s queue $PKGV
PKGV=`ls -d random-*`
mv $PKGV random
ln -s random $PKGV
PKGV=`ls -d redblacktree-*`
mv $PKGV redblacktree
ln -s redblacktree $PKGV
PKGV=`ls -d scc-*`
mv $PKGV scc
ln -s scc $PKGV
PKGV=`ls -d socket-*`
mv $PKGV socket
ln -s socket $PKGV
PKGV=`ls -d wl-pprint-*`
mv $PKGV wl-pprint
ln -s wl-pprint $PKGV
PKGV=`ls -d frontend-exec-*`
mv $PKGV frontend-exec
ln -s frontend-exec $PKGV
cd ../..
cd ..
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."
|