--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on February 2010 ---
index 3cf5fec..f6ed4c1 100644 --- a/configure.in +++ b/configure.in @@ -107,7 +107,7 @@ echo $ECHO_N "ocaml version is $OCAMLVERSION: $ECHO_C" case $OCAMLVERSION in 3.0*) echo "${ECHO_T}Incompatible version! Use at least OCaml 3.10.1."; exit 2;; 3.10.0) echo "${ECHO_T}Warning: unsupported version." ; - if test "$UNSUPPORTED_OCAML" == "yes"; then + if test "$UNSUPPORTED_OCAML" = "yes"; then echo "Compile at your own risks"; else echo "If you want to compile Frama-C with this version, use the \ @@ -543,7 +543,7 @@ check_plugin(from,src/from,[support for from analysis],yes,no) check_plugin(gui,src/gui,[support for gui],yes,no) -if test "$ENABLE_GUI" == "yes"; then +if test "$ENABLE_GUI" = "yes"; then REQUIRE_LABLGTK=${REQUIRE_LABLGTK}" gui" fi @@ -562,7 +562,7 @@ check_plugin(inout,src/inout,[support for inout analysis],yes,no) ######################### check_plugin(ltl_to_acsl,src/ltl_to_acsl,[support for Aorai plugin (ltl to acsl conversion)],yes,yes) -if test "$ENABLE_LTL_TO_ACSL" == "yes"; then +if test "$ENABLE_LTL_TO_ACSL" = "yes"; then USE_LTLTOBA=${USE_LTLTOBA}" ltl_to_acsl" fi @@ -576,7 +576,7 @@ check_plugin(metrics,src/metrics,[support for metrics analysis],yes,no) check_plugin(miel,src/miel,[support for miel plugin],no,no) -if test "$ENABLE_MIEL" == "yes" -a "$ENABLE_GUI" == "yes"; then +if test "$ENABLE_MIEL" = "yes" -a "$ENABLE_GUI" = "yes"; then REQUIRE_LABLGTK=${REQUIRE_LABLGTK}" miel" REQUIRE_LABLGLADECC=${REQUIRE_LABLGLADECC}" miel" fi @@ -636,7 +636,7 @@ check_plugin(sparecode,src/sparecode,[support for sparecode plugin],yes,no) check_plugin(syntactic_callgraph, src/syntactic_callgraph, [support for callgraph plugin], yes, no) -if test "$ENABLE_SYNTACTIC_CALLGRAPH" == "yes"; then +if test "$ENABLE_SYNTACTIC_CALLGRAPH" = "yes"; then USE_GNOMECANVAS=${USE_GNOMECANVAS}" syntactic_callgraph" USE_DOT=${USE_DOT}" syntactic_callgraph" fi @@ -657,7 +657,7 @@ check_plugin(value,src/value,[support for value analysis],yes,no, check_plugin(wp,src/wp,[support for wp plugin],yes,no) -if test "$ENABLE_WP" == "yes"; then +if test "$ENABLE_WP" = "yes"; then USE_ALTERGO=${USE_ALTERGO}" wp" USE_WHY=${USE_WHY}" wp" USE_GNOMECANVAS=${USE_GNOMECANVAS}" wp" @@ -673,7 +673,7 @@ EXTRA_EXTERNAL_PLUGINS= AC_ARG_ENABLE(external, [[--enable-external=plugin allows to compile directly from Frama-C kernel some external plug-ins.]], -[if test "$enableval" == "yes" || test "$enableval" == "no"; then +[if test "$enableval" = "yes" || test "$enableval" = "no"; then AC_MSG_ERROR([--enable-external expects a directory as argument]); fi EXTRA_EXTERNAL_PLUGINS="$EXTRA_EXTERNAL_PLUGINS $enableval" @@ -732,11 +732,11 @@ USE_GTKSOURCEVIEW= HAS_GTKSOURCEVIEW= FORCE_GTKSOURCEVIEW="yes" -if test "$FORCE_GTKSOURCEVIEW" == "yes"; then +if test "$FORCE_GTKSOURCEVIEW" = "yes"; then REQUIRE_GTKSOURCEVIEW="$REQUIRE_LABLGTK" USE_GTKSOURCEVIEW="$USE_LABLGTK" else - if test "$has" == "yes"; then + if test "$has" = "yes"; then USE_GTKSOURCEVIEW="$REQUIRE_LABLGTK$USE_LABLGTK" fi fi @@ -792,7 +792,7 @@ check_frama_c_dependencies() # Why ##### -if test "$HAS_WHY" == "yes"; then +if test "$HAS_WHY" = "yes"; then rm -f tests/wp/test_config_dev cp tests/wp/test_config_dev.system_why tests/wp/test_config_dev chmod a-w tests/wp/test_config_dev @@ -804,7 +804,7 @@ fi # Usable native dynlink # Checking internal invariant -if test "$HAS_NATIVE_DYNLINK" == "uncheck"; then +if test "$HAS_NATIVE_DYNLINK" = "uncheck"; then AC_MSG_ERROR([Internal error with check of native dynlink. Please report.]) fi @@ -831,7 +831,7 @@ fi # Lablgtk2's custom tree model -if test "$HAS_LABLGTK" == "yes"; then +if test "$HAS_LABLGTK" = "yes"; then if echo "type ('a,'b,'c,'d) t = ('a,'b,'c,'d) GTree.custom_tree_model" > test_custommodel.ml && ocamlc -c -I +lablgtk2 test_custommodel.ml 2> /dev/null; \ then AC_MSG_CHECKING([for lablgtk2's custom tree model]) @@ -929,15 +929,15 @@ check_and_propagate () { short_mark=`echo $2 | sed -e 's/ .*//'` lp=`lower $p` reason=`echo $2 | sed -e 's/no (\(.*\))/\1/' ` - if test "$short_mark" == "no"; then + if test "$short_mark" = "no"; then fp=FORCE_"$up" - if eval test "\$$fp" == "yes"; then + if eval test "\$$fp" = "yes"; then AC_MSG_ERROR([$lp requested but $reason.]) else AC_MSG_WARN([$lp disable because $reason.]) fi else - if test "$short_mark" == "partial"; then + if test "$short_mark" = "partial"; then reason=`echo $2 | sed -e 's/partial (\(.*\))/\1/' ` AC_MSG_WARN([$lp only partially enable because $reason.]) fi @@ -990,7 +990,7 @@ compute_dependency () { case `echo "$mark" | sed -e 's/ .*//' ` in "" | "yes") if test -n "$enable"; then mark="$enable"; else mark="yes"; fi;; - "partial") if test "$enable" == "no"; then mark="no"; fi;; + "partial") if test "$enable" = "no"; then mark="no"; fi;; "no") ;; esac # update plug-in attributes with the new mark -- 1.6.5.3