--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on February 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [PATCH 3/4] Remove leftover == usage



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