Modified scripts to perform

- installation 
- distribution

copy the lib and Examples in the target folder.




git-svn-id: https://svn.onera.fr/Prelude/Prelude/branches/compil_propre@531 49f62630-d767-4ccd-930e-b3f5589f52e1

distrib.sh

 #!/bin/bash
 # Execute in a fresh Prelude directory to avoid garbage to come with.
 
-# Build if needed
-if [ ! -e ./preludec.opt ];
-then
-   make opt
-fi
-
-VERSION=`./preludec.opt -version`
+VERSION=`grep Version _oasis | sed "s/Version:[' ']*//"`
 ARCH=`uname -m`
 if [ "x86_64" = "${ARCH}" ];
 then 
@@ -17,11 +11,12 @@ else
 fi
 DISTRIB_DIR=prelude-$VERSION
 
-mkdir -p $DISTRIB_DIR
+# Build if needed
+./configure --prefix $DISTRIB_DIR
+make all
 
 # binaries
-mkdir -p $DISTRIB_DIR/bin
-cp preludec.opt $DISTRIB_DIR/bin/preludec
+make install
 
 # libraries
 mkdir -p $DISTRIB_DIR/lib

install.sh

@@ -4,22 +4,19 @@ if test "$1" = "-d";
 then
   PREFIX_DIR=$2
 else
-  PREFIX_DIR=.
-fi
-
-# Build if needed
-if [ ! -e ./preludec.opt ];
-then
-   make opt
+  PREFIX_DIR=`pwd`
 fi
 
 INSTALL_DIR=$PREFIX_DIR/prelude
 
-mkdir -p $INSTALL_DIR
+# Configure
+./configure --prefix $INSTALL_DIR
+
+# Build
+make all
 
-# binaries
-mkdir -p $INSTALL_DIR/bin
-cp preludec.opt $INSTALL_DIR/bin/preludec
+# Install binaries
+make install
 
 # libraries
 mkdir -p $INSTALL_DIR/lib