blob: 3ea1e039d6cda551db2b1e1fe5882b0dcbc1338f (
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_debug
if (($# == 1 ))
then
PREFIX=`echo "$1"|sed -e "s,\/$,,"`
else
PREFIX="/usr/local/ouroboros"
fi
BUILDDIR=build
DEBUGDIR=debug
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: Debug directory will be '$DEBUGDIR'"
if test -n "$DEBUGDIR" ; then
mkdir -p $DEBUGDIR || {
echo "$ME: Cannot create directory '$DEBUGDIR'"
}
fi
cd $DEBUGDIR
cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DCMAKE_BUILD_TYPE=Debug ../..
make && make check
|
