configure

changeset 988
15b3ca7ee33f
parent 987
53e22f112b11
child 990
f708863e7ec6
equal deleted inserted replaced
987:53e22f112b11 988:15b3ca7ee33f
111 --release add extra compile flags for release builds 111 --release add extra compile flags for release builds
112 --with-docs=(all|html|api|none) 112 --with-docs=(all|html|api|none)
113 113
114 Optional Features: 114 Optional Features:
115 --enable-coverage 115 --enable-coverage
116 --disable-cxx-tests the check-cxx makefile target
116 --disable-szmul-builtin use custom implementation, instead 117 --disable-szmul-builtin use custom implementation, instead
117 118
118 __EOF__ 119 __EOF__
119 } 120 }
120 121
157 DOXYGEN=`command -v doxygen` 158 DOXYGEN=`command -v doxygen`
158 PANDOC=`command -v pandoc` 159 PANDOC=`command -v pandoc`
159 fi 160 fi
160 161
161 # features 162 # features
163 FEATURE_CXX_TESTS=auto
162 FEATURE_SZMUL_BUILTIN=auto 164 FEATURE_SZMUL_BUILTIN=auto
163 165
164 # 166 #
165 # parse arguments 167 # parse arguments
166 # 168 #
187 "--debug") BUILD_TYPE="debug" ;; 189 "--debug") BUILD_TYPE="debug" ;;
188 "--release") BUILD_TYPE="release" ;; 190 "--release") BUILD_TYPE="release" ;;
189 "--with-docs="*) OPT_WITH_DOCS=${ARG#--with-docs=} ;; 191 "--with-docs="*) OPT_WITH_DOCS=${ARG#--with-docs=} ;;
190 "--enable-coverage") FEATURE_COVERAGE=on ;; 192 "--enable-coverage") FEATURE_COVERAGE=on ;;
191 "--disable-coverage") unset FEATURE_COVERAGE ;; 193 "--disable-coverage") unset FEATURE_COVERAGE ;;
194 "--enable-cxx-tests") FEATURE_CXX_TESTS=on ;;
195 "--disable-cxx-tests") unset FEATURE_CXX_TESTS ;;
192 "--enable-szmul-builtin") FEATURE_SZMUL_BUILTIN=on ;; 196 "--enable-szmul-builtin") FEATURE_SZMUL_BUILTIN=on ;;
193 "--disable-szmul-builtin") unset FEATURE_SZMUL_BUILTIN ;; 197 "--disable-szmul-builtin") unset FEATURE_SZMUL_BUILTIN ;;
194 "-"*) echo "unknown option: $ARG"; abort_configure ;; 198 "-"*) echo "unknown option: $ARG"; abort_configure ;;
195 esac 199 esac
196 done 200 done
261 # 265 #
262 266
263 # check languages 267 # check languages
264 lang_c= 268 lang_c=
265 lang_cpp= 269 lang_cpp=
270 if detect_cpp_compiler ; then
271 lang_cpp=1
272 fi
266 if detect_c_compiler ; then 273 if detect_c_compiler ; then
267 lang_c=1 274 lang_c=1
268 fi 275 fi
269 276
270 # create buffer for make variables required by dependencies 277 # create buffer for make variables required by dependencies
331 return 1 338 return 1
332 done 339 done
333 340
334 print_check_msg "$dep_checked_pandoc" "no\n" 341 print_check_msg "$dep_checked_pandoc" "no\n"
335 dep_checked_pandoc=1 342 dep_checked_pandoc=1
343 return 0
344 }
345 dependency_error_cxx()
346 {
347 print_check_msg "$dep_checked_cxx" "checking for cxx... "
348 # dependency cxx
349 while true
350 do
351 if [ -z "$lang_cpp" ] ; then
352 break
353 fi
354 print_check_msg "$dep_checked_cxx" "yes\n"
355 dep_checked_cxx=1
356 return 1
357 done
358
359 print_check_msg "$dep_checked_cxx" "no\n"
360 dep_checked_cxx=1
336 return 0 361 return 0
337 } 362 }
338 dependency_error_c() 363 dependency_error_c()
339 { 364 {
340 print_check_msg "$dep_checked_c" "checking for c... " 365 print_check_msg "$dep_checked_c" "checking for c... "
607 unset FEATURE_COVERAGE 632 unset FEATURE_COVERAGE
608 fi 633 fi
609 fi 634 fi
610 if [ -n "$FEATURE_COVERAGE" ]; then 635 if [ -n "$FEATURE_COVERAGE" ]; then
611 : 636 :
637 else
638 :
639 fi
640 if [ -n "$FEATURE_CXX_TESTS" ]; then
641 # check dependency
642 if dependency_error_cxx ; then
643 # "auto" features can fail and are just disabled in this case
644 if [ "$FEATURE_CXX_TESTS" = "auto" ]; then
645 DISABLE_FEATURE_CXX_TESTS=1
646 else
647 DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED cxx "
648 ERROR=1
649 fi
650 fi
651 if [ -n "$DISABLE_FEATURE_CXX_TESTS" ]; then
652 unset FEATURE_CXX_TESTS
653 fi
654 fi
655 if [ -n "$FEATURE_CXX_TESTS" ]; then
656 :
657 cat >> "$TEMP_DIR/make.mk" << __EOF__
658 # Enable the check-cxx target
659 WITH_CXX_TEST=yes
660 __EOF__
612 else 661 else
613 : 662 :
614 fi 663 fi
615 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then 664 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then
616 if [ -n "$DISABLE_FEATURE_SZMUL_BUILTIN" ]; then 665 if [ -n "$DISABLE_FEATURE_SZMUL_BUILTIN" ]; then
746 if [ -n "$FEATURE_COVERAGE" ]; then 795 if [ -n "$FEATURE_COVERAGE" ]; then
747 echo " coverage: on" 796 echo " coverage: on"
748 else 797 else
749 echo " coverage: off" 798 echo " coverage: off"
750 fi 799 fi
800 if [ -n "$FEATURE_CXX_TESTS" ]; then
801 echo " cxx-tests: on"
802 else
803 echo " cxx-tests: off"
804 fi
751 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then 805 if [ -n "$FEATURE_SZMUL_BUILTIN" ]; then
752 echo " szmul-builtin: on" 806 echo " szmul-builtin: on"
753 else 807 else
754 echo " szmul-builtin: off" 808 echo " szmul-builtin: off"
755 fi 809 fi

mercurial