From 6f07ec0911e96b033dd59687f94119c8951d36e6 Mon Sep 17 00:00:00 2001 From: Peter Zotov Date: Tue, 28 Oct 2014 01:38:20 +0300 Subject: [PATCH] Remove utils/install-compiler-libs.sh. utop now depends on OCaml >=4.01, which has compiler-libs installed properly. --- utils/install-compiler-libs.sh | 40 ---------------------------------- 1 file changed, 40 deletions(-) delete mode 100755 utils/install-compiler-libs.sh 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