mplint.sh 461 B

123456789101112131415161718192021222324252627282930313233
  1. #!/usr/bin/env bash
  2. export CC=gcc
  3. export CXX=g++
  4. if [ "$NEWCC" != "" ]; then
  5. export CC="$NEWCC"
  6. fi
  7. if [ "$NEWCXX" != "" ]; then
  8. export CXX="$NEWCXX"
  9. fi
  10. export LOGFILE=mplint_po.log
  11. source ./tools/ci/scripts/init.sh
  12. export CXXFLAGS="-std=gnu++11"
  13. do_init
  14. rm -rf mplint || true
  15. gitclone https://gitlab.com/manaplus mplint.git
  16. cd mplint
  17. run_configure_simple
  18. run_make
  19. cd ..
  20. echo " " >config.h
  21. run_mplint $*
  22. source ./tools/ci/scripts/exit.sh
  23. exit 0