configure 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. #!/bin/bash
  2. BUILD_DIR="build/"
  3. MAKEFILE="./Makefile"
  4. OPTIONS="-DCMAKE_VERBOSE_MAKEFILE=1"
  5. while [[ $# -gt 0 ]]; do
  6. flag="${1}"
  7. case "${flag}" in
  8. --cc=*)
  9. OPTIONS="${OPTIONS} -DCMAKE_C_COMPILER=${flag#*=}"
  10. ;;
  11. --cxx=*)
  12. OPTIONS="${OPTIONS} -DCMAKE_CXX_COMPILER=${flag#*=}"
  13. ;;
  14. --devel)
  15. OPTIONS="${OPTIONS} -DDEVEL=1"
  16. ;;
  17. --debug)
  18. OPTIONS="${OPTIONS} -DCMAKE_BUILD_TYPE=Debug"
  19. ;;
  20. --notorch)
  21. OPTIONS="${OPTIONS} -DNO_TORCH=1"
  22. ;;
  23. --trtis)
  24. OPTIONS="${OPTIONS} -DBUILD_TRTIS=1"
  25. ;;
  26. --trtis_client)
  27. OPTIONS="${OPTIONS} -DBUILD_TRTIS_CLIENT=1"
  28. ;;
  29. *)
  30. echo "Unknown argument '${flag}'."
  31. exit 1
  32. ;;
  33. esac
  34. shift
  35. done
  36. if [[ -d "${BUILD_DIR}" ]]; then
  37. rm -rf "${BUILD_DIR}"
  38. fi
  39. mkdir -p "${BUILD_DIR}"
  40. pushd "${BUILD_DIR}"
  41. cmake --version
  42. echo "cmake .. ${OPTIONS}"
  43. cmake .. ${OPTIONS}
  44. popd
  45. echo "# Auto generated makefile" > "${MAKEFILE}"
  46. echo "" >> "${MAKEFILE}"
  47. echo "all test:" >> "${MAKEFILE}"
  48. echo " make -C \"${BUILD_DIR}\" \$@" >> "${MAKEFILE}"
  49. echo "" >> "${MAKEFILE}"
  50. echo ".PHONY: all" >> "${MAKEFILE}"
  51. echo "" >> "${MAKEFILE}"