diff --git a/utils/install-compiler-libs.sh b/utils/install-compiler-libs.sh deleted file mode 100755 index 4d2f121..0000000 --- a/utils/install-compiler-libs.sh +++ /dev/null @@ -1,40 +0,0 @@ -#!/bin/sh -# -# install-compiler-libs.sh -# ------------------------ -# Copyright : (c) 2011, Jeremie Dimino -# Licence : BSD3 -# -# This file is a part of utop. - -set -e - -if [ $# -ne 1 ]; then - echo "usage: $0 " - exit 2 -fi - -SOURCEPATH="$1" - -if [ ! -d "$SOURCEPATH/typing" -o ! -d "$SOURCEPATH/parsing" -o ! -d "$SOURCEPATH/utils" ]; then - echo "'$1' does not contain ocaml sources." - exit 1 -fi - -if [ ! -f "$SOURCEPATH/typing/types.cmi" -o ! -f "$SOURCEPATH/parsing/longident.cmi" ]; then - echo "ocaml sources in '$1' are not compiled." - exit 1 -fi - -STDLIBPATH=`ocamlc -where | tr -d '\r'` -INSTALLPATH="$STDLIBPATH/compiler-libs" - -mkdir -p "$INSTALLPATH" - -for dir in typing parsing utils; do - echo "copying cmi files from '$SOURCEPATH/$dir' to '$INSTALLPATH/$dir'" - mkdir -p "$INSTALLPATH"/$dir - for file in "$SOURCEPATH"/$dir/*.cmi; do - cp "$file" "$INSTALLPATH"/$dir - done -done