blob: 0dad6c91b8dd6f0a540e3cbcdb135a4f5bb737e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#!/bin/bash
ME=compile_release
if (($# == 1 ))
then
PREFIX=`echo "$1"|sed -e "s,\/$,,"`
else
PREFIX="/usr/local/ouroboros"
fi
BUILDDIR=build
RELEASEDIR=release
echo "$ME: Prefix is $PREFIX"
echo "$ME: Build directory will be '$BUILDDIR'"
if test -n "$BUILDDIR" ; then
mkdir -p $BUILDDIR || {
echo "$ME: Cannot create directory '$BUILDDIR'"
}
fi
cd $BUILDDIR
echo "$ME: Release directory will be '$RELEASEDIR'"
if test -n "$RELEASEDIR" ; then
mkdir -p $RELEASEDIR || {
echo "$ME: Cannot create directory '$RELEASEDIR'"
}
fi
cd $RELEASEDIR
cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DCMAKE_BUILD_TYPE=Release ../..
make
|
