#!/usr/bin/env bash export CC=gcc export CXX=g++ if [ "$NEWCC" != "" ]; then export CC="$NEWCC" fi if [ "$NEWCXX" != "" ]; then export CXX="$NEWCXX" fi export LOGFILE=mplint_po.log source ./tools/ci/scripts/init.sh export CXXFLAGS="-std=gnu++11" do_init rm -rf mplint || true gitclone https://git.themanaworld.org/mana mplint.git cd mplint run_configure_simple run_make cd .. echo " " >config.h tasks=$(echo $* | tr " " "\n") for task in $tasks do run_mplint $task done source ./tools/ci/scripts/exit.sh exit 0