Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 15 lines (11 sloc) 299 Bytes
#!/bin/sh
GIT_HASH=`git log -1 --pretty=format:%h`
PREFIX_ROOT="$HOME/software"
PREFIX="$PREFIX_ROOT/ridl-$GIT_HASH"
rm -rf build
mkdir build
cd build
cmake -DReadline_INCLUDE_DIR=/usr/include \
-DReadline_LIBRARY=/usr/lib64/libreadline.so \
-DCMAKE_INSTALL_PREFIX=$PREFIX \
..