From 4bd02679b0736fe95d7f491253ded4477b1692b3 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Sun, 23 Sep 2012 18:41:59 +0400
Subject: [PATCH] Build native version of lablGL only when the user asked for
 it

---
 buildall.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/buildall.sh b/buildall.sh
index 03e12c2..066e1ea 100644
--- a/buildall.sh
+++ b/buildall.sh
@@ -40,12 +40,13 @@ executable_p gmake && make=gmake || make=make
 
 (cd lablGL-1.04 \
     && sed 17d Makefile.config.linux.mdk > Makefile.config \
-    && $make lib libopt \
+    && $make lib $(test "$1" = opt && echo libopt) \
     && $make install \
             BINDIR=$root/bin \
             LIBDIR=$root/lib/ocaml \
             DLLDIR=$root/lib/ocaml/stublibs \
             INSTALLDIR=$root/lib/ocaml/lablGL)
+exit
 
 (cd $mudir && $make -j "$jobs" build=release)
 
-- 
2.11.4.GIT