From mboxrd@z Thu Jan 1 00:00:00 1970 From: Vincent Hanquez Subject: [PATCH] Add a check script to check for the existence of an ocaml native compiler Date: Tue, 13 Jul 2010 11:11:40 +0100 Message-ID: <1279015900-20587-1-git-send-email-vincent.hanquez@eu.citrix.com> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="------------1.7.1" Return-path: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xensource.com Errors-To: xen-devel-bounces@lists.xensource.com To: Xen Devel Cc: Vincent Hanquez List-Id: xen-devel@lists.xenproject.org --------------1.7.1 Content-Type: text/plain; charset="UTF-8"; format=fixed Content-Transfer-Encoding: quoted-printable The script doesn't check anything if the $OS is not linux, and just print= a warning if the compiler is missing. Signed-off-by: Vincent Hanquez --- tools/check/check_ocaml | 13 +++++++++++++ 1 files changed, 13 insertions(+), 0 deletions(-) create mode 100755 tools/check/check_ocaml --------------1.7.1 Content-Type: text/x-patch; name="0001-Add-a-check-script-to-check-for-the-existence-of-an-.patch" Content-Disposition: attachment; filename="0001-Add-a-check-script-to-check-for-the-existence-of-an-.patch" Content-Transfer-Encoding: quoted-printable diff --git a/tools/check/check_ocaml b/tools/check/check_ocaml new file mode 100755 index 0000000..a29a345 --- /dev/null +++ b/tools/check/check_ocaml @@ -0,0 +1,13 @@ +#!/bin/sh +# CHECK-BUILD + +. ./funcs.sh + +case $OS in +Linux) + has ocamlopt >/dev/null || warning "missing ocaml native compiler" + ;; +*) +=09 + ;; +esac --------------1.7.1 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel --------------1.7.1--