Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[enhance] installation_helper: introduced cryptokit 1.5 into installa…

…tion_helper.sh, with some custom script to uninstall previous version
  • Loading branch information...
commit a404e34d5cec5882d5d3321ae65bea59c98c3e40 1 parent c8d0ae8
@Aqua-Ye Aqua-Ye authored
Showing with 12 additions and 1 deletion.
  1. +12 −1 dependencies/installation_helper.sh
View
13 dependencies/installation_helper.sh
@@ -177,7 +177,7 @@ sources () {
# Sources obtained thanks to "apt-get --print-uris source <package>"
findlib) echo "http://download.camlcity.org/download/findlib-1.2.5.tar.gz";;
ocaml-ssl) echo "http://downloads.sourceforge.net/project/savonet/ocaml-ssl/0.4.5/ocaml-ssl-0.4.5.tar.gz";;
- cryptokit) echo "http://forge.ocamlcore.org/frs/download.php/326/cryptokit-1.3.tar.gz";;
+ cryptokit) echo "http://forge.ocamlcore.org/frs/download.php/639/cryptokit-1.5.tar.gz";;
ocamlgraph) echo "http://ocamlgraph.lri.fr/download/ocamlgraph-1.5.tar.gz";;
camlzip) echo "http://forge.ocamlcore.org/frs/download.php/328/camlzip-1.04.tar.gz";;
camlimages) echo "http://caml.inria.fr/distrib/bazar-ocaml/camlimages-3.0.2.tgz";;
@@ -352,6 +352,17 @@ package_install (){
$SUDO $INSTALLDIR/bin/ocamlfind remove -destdir $INSTALLDIR/lib/ocaml ssl || true
install_generic
;;
+ cryptokit)
+ # very ugly way to uninstall previous cryptokit...
+ msg_yellow "Uninstalling potential previous cryptokit (moving it..)"
+ $SUDO mkdir -pv $INSTALLDIR/lib/ocaml/cryptokit.bak
+ $SUDO mv -v $INSTALLDIR/lib/ocaml/cryptokit.* $INSTALLDIR/lib/ocaml/cryptokit.bak/ || true
+ $SUDO mv -v $INSTALLDIR/lib/ocaml/stublibs/dllcryptokit.so $INSTALLDIR/lib/ocaml/stublibs/dllcryptokit.so.bak || true
+ $SUDO ocaml setup.ml -configure
+ $SUDO ocaml setup.ml -build
+ $SUDO ocaml setup.ml -uninstall
+ $SUDO ocaml setup.ml -install
+ ;;
findlib)
install_generic -sitelib $INSTALLDIR/lib/ocaml
;;
Please sign in to comment.
Something went wrong with that request. Please try again.