1
1
openmpi/contrib/platform/embedded/build_embedded.sh
2015-06-23 20:59:57 -07:00

20 строки
364 B
Bash
Исполняемый файл

#! /usr/bin/env bash
#
if (( $# < 2 )) ; then
echo "usage ./contrib/platform/embedded/build_embedded.sh prefix debug|optimized"
exit 1
fi
prefix=$1
shift 1
platform=$1
./configure --prefix="${prefix}" --with-platform=contrib/platform/embedded/"${platform}"
make clean > /dev/null
make -j2 all > /dev/null
make -j2 install > /dev/null
# All done
exit 0