20 lines
320 B
Bash
Executable file
20 lines
320 B
Bash
Executable file
#!/bin/bash
|
|
set -ex
|
|
|
|
pushd "${0%/*}"
|
|
|
|
pushd deps/IES
|
|
if [[ -d "build" ]]; then
|
|
rm -r build
|
|
fi
|
|
mkdir build
|
|
export CC=clang
|
|
export CXX=clang++
|
|
export CFLAGS="-ggdb -O0"
|
|
export CXXFLAGS="-ggdb -O0"
|
|
git clean -f -d -x
|
|
./autogen.sh
|
|
./configure --enable-shared --prefix "$(pwd)/build"
|
|
make clean
|
|
make -j$(nproc)
|
|
make install |