Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


  • Subject: [Frama-c-discuss] [PATCH 3/4] Remove leftover == usage
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
  • Date: Sat, 27 Feb 2010 19:44:06 +0000

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