Fri Sep 11 15:09:36 2009 UTC ()
import the frama-c source code analysis tool
Frama-C is a suite of tools dedicated to the analysis of the source code of
software written in C.
Frama-C gathers several static analysis techniques in a single collaborative
framework. The collaborative approach of Frama-C allows static analyzers to
build upon the results already computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer
and dependency analysis.
Status:
Vendor Tag: TNF
Release Tags: pkgsrc-base
(tonio)
diff -r0 -r1.1.1.1 pkgsrc/devel/frama-c/Makefile
diff -r0 -r1.1.1.1 pkgsrc/devel/frama-c/PLIST
diff -r0 -r1.1.1.1 pkgsrc/devel/frama-c/distinfo
diff -r0 -r1.1.1.1 pkgsrc/devel/frama-c/DESCR
diff -r0 -r1.1.1.1 pkgsrc/devel/frama-c/patches/patch-aa
# $NetBSD: Makefile,v 1.1.1.1 2009/09/11 15:09:35 tonio Exp $
#
DISTNAME= frama-c-Beryllium-20090901
PKGNAME= ${DISTNAME:S/-Beryllium//}
CATEGORIES= devel
MASTER_SITES= http://frama-c.cea.fr/download/
MAINTAINER= tonio@NetBSD.org
HOMEPAGE= http://frama-c.cea.fr/
COMMENT= Extensible platform dedicated to source-code analysis of C software
LICENSE= gnu-lgpl-v2
PKG_DESTDIR_SUPPORT= user-destdir
USE_TOOLS+= gmake
GNU_CONFIGURE= yes
.include "../../x11/gtksourceview/buildlink3.mk"
.include "../../graphics/libgnomecanvas/buildlink3.mk"
.include "../../x11/lablgtk/buildlink3.mk"
.include "../../lang/ocaml/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
@comment $NetBSD: PLIST,v 1.1.1.1 2009/09/11 15:09:35 tonio Exp $
bin/caduceus
bin/frama-c
bin/frama-c-gui
bin/frama-c-gui.byte
bin/frama-c.byte
bin/gwhy
bin/gwhy-bin
bin/jessie
bin/krakatoa
bin/rv_merge
bin/simplify2why
bin/tool-stat
bin/why
bin/why-config
bin/why-cpulimit
bin/why-dp
bin/why-obfuscator
bin/why-stat
bin/why2html
lib/frama-c/about_dialog.cmi
lib/frama-c/abstract_interp.cmi
lib/frama-c/abstract_value.cmi
lib/frama-c/alarms.cmi
lib/frama-c/alpha.cmi
lib/frama-c/annotations.cmi
lib/frama-c/ast.cmi
lib/frama-c/ast_info.cmi
lib/frama-c/ast_printer.cmi
lib/frama-c/availexpslv.cmi
lib/frama-c/base.cmi
lib/frama-c/baseUtils.cmi
lib/frama-c/base_Set_Lattice.cmi
lib/frama-c/binary_cache.cmi
lib/frama-c/bit_model_access.cmi
lib/frama-c/bit_utils.cmi
lib/frama-c/boot.cmi
lib/frama-c/buckx.cmi
lib/frama-c/cabs.cmi
lib/frama-c/cabs2cil.cmi
lib/frama-c/cabshelper.cmi
lib/frama-c/cabsvisit.cmi
lib/frama-c/callgraph.cmi
lib/frama-c/cfg.cmi
lib/frama-c/cil.cmi
lib/frama-c/cilE.cmi
lib/frama-c/cil_computation.cmi
lib/frama-c/cil_const.cmi
lib/frama-c/cil_datatype.cmi
lib/frama-c/cil_types.cmi
lib/frama-c/cilglobopt.cmi
lib/frama-c/cilmsg.cmi
lib/frama-c/ciltools.cmi
lib/frama-c/cilutil.cmi
lib/frama-c/clexer.cmi
lib/frama-c/clist.cmi
lib/frama-c/cmdline.cmi
lib/frama-c/computation.cmi
lib/frama-c/concreteModel.cmi
lib/frama-c/config.cmi
lib/frama-c/cparser.cmi
lib/frama-c/cprint.cmi
lib/frama-c/cvalue_type.cmi
lib/frama-c/dGraphModel.cmi
lib/frama-c/dGraphView.cmi
lib/frama-c/dGraphViewItem.cmi
lib/frama-c/dataflow.cmi
lib/frama-c/datatype.cmi
lib/frama-c/db.cmi
lib/frama-c/db_types.cmi
lib/frama-c/deadcodeelim.cmi
lib/frama-c/debug.cmi
lib/frama-c/descr.cmi
lib/frama-c/design.cmi
lib/frama-c/dominators.cmi
lib/frama-c/dynamic.cmi
lib/frama-c/dynlink_common_interface.cmi
lib/frama-c/errorloc.cmi
lib/frama-c/escape.cmi
lib/frama-c/expcompare.cmi
lib/frama-c/extlib.cmi
lib/frama-c/file.cmi
lib/frama-c/filetree.cmi
lib/frama-c/filter.cmi
lib/frama-c/frontc.cmi
lib/frama-c/function_Froms.cmi
lib/frama-c/globals.cmi
lib/frama-c/graph.cmi
lib/frama-c/growArray.cmi
lib/frama-c/gtk_helper.cmi
lib/frama-c/gui_init.cmi
lib/frama-c/hook.cmi
lib/frama-c/infer_annotations.cmi
lib/frama-c/inout_type.cmi
lib/frama-c/int_Base.cmi
lib/frama-c/int_Interv.cmi
lib/frama-c/int_Interv_Map.cmi
lib/frama-c/inthash.cmi
lib/frama-c/ival.cmi
lib/frama-c/journal.cmi
lib/frama-c/kernel.cmi
lib/frama-c/kernel_function.cmi
lib/frama-c/kernel_type.cmi
lib/frama-c/kind.cmi
lib/frama-c/lattice_With_Isotropy.cmi
lib/frama-c/launcher.cmi
lib/frama-c/lexerhack.cmi
lib/frama-c/liveness.cmi
lib/frama-c/lmap.cmi
lib/frama-c/lmap_bitwise.cmi
lib/frama-c/lmap_whole.cmi
lib/frama-c/locations.cmi
lib/frama-c/log.cmi
lib/frama-c/logic_builtin.cmi
lib/frama-c/logic_const.cmi
lib/frama-c/logic_env.cmi
lib/frama-c/logic_interp.cmi
lib/frama-c/logic_lexer.cmi
lib/frama-c/logic_parser.cmi
lib/frama-c/logic_preprocess.cmi
lib/frama-c/logic_ptree.cmi
lib/frama-c/logic_typing.cmi
lib/frama-c/logic_utils.cmi
lib/frama-c/loop.cmi
lib/frama-c/machdep.cmi
lib/frama-c/machdep_ppc_32.cmi
lib/frama-c/machdep_ppc_32_diab.cmi
lib/frama-c/machdep_x86_16.cmi
lib/frama-c/machdep_x86_32.cmi
lib/frama-c/machdep_x86_64.cmi
lib/frama-c/map_Lattice.cmi
lib/frama-c/mergecil.cmi
lib/frama-c/mergemap.cmi
lib/frama-c/messages.cmi
lib/frama-c/mweak.cmi
lib/frama-c/my_bigint.cmi
lib/frama-c/namespace.cmi
lib/frama-c/new_offsetmap.cmi
lib/frama-c/obfuscate.cmi
lib/frama-c/offsetmap.cmi
lib/frama-c/offsetmap_bitwise.cmi
lib/frama-c/oneret.cmi
lib/frama-c/origin.cmi
lib/frama-c/parameters.cmi
lib/frama-c/patch.cmi
lib/frama-c/path_lattice.cmi
lib/frama-c/pdgIndex.cmi
lib/frama-c/pdgMarks.cmi
lib/frama-c/pdgTypes.cmi
lib/frama-c/plugin.cmi
lib/frama-c/plugins/Jessie.cma
lib/frama-c/plugins/Jessie.cmxs
lib/frama-c/plugins/Ltl_to_acsl.cmo
lib/frama-c/plugins/Ltl_to_acsl.cmxs
lib/frama-c/pretty_source.cmi
lib/frama-c/pretty_utils.cmi
lib/frama-c/printer.cmi
lib/frama-c/project.cmi
lib/frama-c/project_manager.cmi
lib/frama-c/ptmap.cmi
lib/frama-c/ptset.cmi
lib/frama-c/qstack.cmi
lib/frama-c/rangemap.cmi
lib/frama-c/reachingdefs.cmi
lib/frama-c/relations_type.cmi
lib/frama-c/rmciltmps.cmi
lib/frama-c/rmtmps.cmi
lib/frama-c/service_graph.cmi
lib/frama-c/setWithNearest.cmi
lib/frama-c/shifted_Location.cmi
lib/frama-c/signature.cmi
lib/frama-c/slicingInternals.cmi
lib/frama-c/slicingTypes.cmi
lib/frama-c/source_manager.cmi
lib/frama-c/source_viewer.cmi
lib/frama-c/special_hooks.cmi
lib/frama-c/state_set.cmi
lib/frama-c/stmts_graph.cmi
lib/frama-c/subst.cmi
lib/frama-c/translate_lightweight.cmi
lib/frama-c/type.cmi
lib/frama-c/unicode.cmi
lib/frama-c/unmarshal.cmi
lib/frama-c/unmarshal_nums.cmi
lib/frama-c/unroll_loops.cmi
lib/frama-c/usedef.cmi
lib/frama-c/utf8_logic.cmi
lib/frama-c/viewGraph.cmi
lib/frama-c/viewGraph_select.cmi
lib/frama-c/viewGraph_utils.cmi
lib/frama-c/visitor.cmi
lib/frama-c/warning_manager.cmi
lib/frama-c/whitetrack.cmi
lib/frama-c/widen.cmi
lib/frama-c/widen_type.cmi
lib/frama-c/xDot.cmi
lib/frama-c/xDotDraw.cmi
lib/frama-c/zrapp.cmi
man/man1/frama-c-gui.1
man/man1/frama-c.1
man/man1/why.1
share/frama-c/Makefile.common
share/frama-c/Makefile.config
share/frama-c/Makefile.dynamic
share/frama-c/Makefile.dynamic_config
share/frama-c/Makefile.plugin
share/frama-c/builtin.c
share/frama-c/builtin.h
share/frama-c/caduceus/coq/caduceus_tactics.v
share/frama-c/caduceus/coq/caduceus_why.v
share/frama-c/caduceus/harvey/caduceus_why.rv
share/frama-c/caduceus/isabelle/caduceus_why.thy
share/frama-c/caduceus/why/caduceus.why
share/frama-c/caduceus/why/caduceus_arith.why
share/frama-c/coq/jessie_why.v
share/frama-c/fluctuat.h
share/frama-c/frama-c.rc
share/frama-c/jessie/assert.h
share/frama-c/jessie/ctype.h
share/frama-c/jessie/jc.cmi
share/frama-c/jessie/jc.cmo
share/frama-c/jessie/jc.cmx
share/frama-c/jessie/jc.o
share/frama-c/jessie/jc_ast.cmi
share/frama-c/jessie/jc_common_options.cmi
share/frama-c/jessie/jc_constructors.cmi
share/frama-c/jessie/jc_env.cmi
share/frama-c/jessie/jc_envset.cmi
share/frama-c/jessie/jc_fenv.cmi
share/frama-c/jessie/jc_iterators.cmi
share/frama-c/jessie/jc_noutput.cmi
share/frama-c/jessie/jc_output.cmi
share/frama-c/jessie/jc_output_misc.cmi
share/frama-c/jessie/jc_pervasives.cmi
share/frama-c/jessie/jc_poutput.cmi
share/frama-c/jessie/jc_region.cmi
share/frama-c/jessie/jc_stdlib.cmi
share/frama-c/jessie/jc_type_var.cmi
share/frama-c/jessie/jessie_exact_prolog.h
share/frama-c/jessie/jessie_machine_prolog.h
share/frama-c/jessie/jessie_prolog.h
share/frama-c/jessie/lib.cmi
share/frama-c/jessie/loc.cmi
share/frama-c/jessie/option_misc.cmi
share/frama-c/jessie/output.cmi
share/frama-c/jessie/pp.cmi
share/frama-c/jessie/prolog.c
share/frama-c/jessie/rc.cmi
share/frama-c/jessie/stddef.h
share/frama-c/jessie/stdio.h
share/frama-c/jessie/stdlib.h
share/frama-c/jessie/string.h
share/frama-c/jessie/strings.h
share/frama-c/jessie/unistd.h
share/frama-c/jessie/wchar.h
share/frama-c/libc.c
share/frama-c/libc.h
share/frama-c/machine.h
share/frama-c/malloc.c
share/frama-c/math.c
share/frama-c/math.h
share/frama-c/why/Makefile
share/frama-c/why/acsl.why
share/frama-c/why/java_api/java/io/BufferedWriter.java
share/frama-c/why/java_api/java/io/File.java
share/frama-c/why/java_api/java/io/FileDescriptor.java
share/frama-c/why/java_api/java/io/FileNotFoundException.java
share/frama-c/why/java_api/java/io/FileReader.java
share/frama-c/why/java_api/java/io/FilterOutputStream.java
share/frama-c/why/java_api/java/io/IOException.java
share/frama-c/why/java_api/java/io/InputStream.java
share/frama-c/why/java_api/java/io/InputStreamReader.java
share/frama-c/why/java_api/java/io/ObjectStreamClass.java
share/frama-c/why/java_api/java/io/OutputStream.java
share/frama-c/why/java_api/java/io/OutputStreamWriter.java
share/frama-c/why/java_api/java/io/PrintStream.java
share/frama-c/why/java_api/java/io/Reader.java
share/frama-c/why/java_api/java/io/Serializable.java
share/frama-c/why/java_api/java/io/StreamTokenizer.java
share/frama-c/why/java_api/java/lang/ArrayStoreException.java
share/frama-c/why/java_api/java/lang/CharSequence.java
share/frama-c/why/java_api/java/lang/Character.java
share/frama-c/why/java_api/java/lang/Class.java
share/frama-c/why/java_api/java/lang/Cloneable.java
share/frama-c/why/java_api/java/lang/Comparable.java
share/frama-c/why/java_api/java/lang/Double.java
share/frama-c/why/java_api/java/lang/Exception.java
share/frama-c/why/java_api/java/lang/IllegalArgumentException.java
share/frama-c/why/java_api/java/lang/Integer.java
share/frama-c/why/java_api/java/lang/Long.java
share/frama-c/why/java_api/java/lang/Math.java
share/frama-c/why/java_api/java/lang/Number.java
share/frama-c/why/java_api/java/lang/NumberFormatException.java
share/frama-c/why/java_api/java/lang/Object.java
share/frama-c/why/java_api/java/lang/RuntimeException.java
share/frama-c/why/java_api/java/lang/String.java
share/frama-c/why/java_api/java/lang/StringBuffer.java
share/frama-c/why/java_api/java/lang/System.java
share/frama-c/why/java_api/java/lang/Throwable.java
share/frama-c/why/java_api/java/util/AbstractMap.java
share/frama-c/why/java_api/java/util/Collection.java
share/frama-c/why/java_api/java/util/HashMap.java
share/frama-c/why/java_api/java/util/HashMapIntegerInteger.java
share/frama-c/why/java_api/java/util/HashMapIntegerLong.java
share/frama-c/why/java_api/java/util/Iterator.java
share/frama-c/why/java_api/java/util/Locale.java
share/frama-c/why/java_api/java/util/Map.java
share/frama-c/why/java_api/java/util/Set.java
share/frama-c/why/javacard_api/com/sun/javacard/impl/Constants.java
share/frama-c/why/javacard_api/com/sun/javacard/impl/NativeMethods.java
share/frama-c/why/javacard_api/com/sun/javacard/impl/PackedBoolean.java
share/frama-c/why/javacard_api/com/sun/javacard/impl/PrivAccess.java
share/frama-c/why/javacard_api/java/lang/ArrayIndexOutOfBoundsException.java
share/frama-c/why/javacard_api/java/lang/Exception.java
share/frama-c/why/javacard_api/java/lang/IndexOutOfBoundsException.java
share/frama-c/why/javacard_api/java/lang/Object.java
share/frama-c/why/javacard_api/java/lang/RuntimeException.java
share/frama-c/why/javacard_api/java/lang/Throwable.java
share/frama-c/why/javacard_api/javacard/framework/AID.java
share/frama-c/why/javacard_api/javacard/framework/APDU.java
share/frama-c/why/javacard_api/javacard/framework/APDUException.java
share/frama-c/why/javacard_api/javacard/framework/Applet.java
share/frama-c/why/javacard_api/javacard/framework/CardException.java
share/frama-c/why/javacard_api/javacard/framework/CardRuntimeException.java
share/frama-c/why/javacard_api/javacard/framework/Dispatcher.java
share/frama-c/why/javacard_api/javacard/framework/ISO7816.java
share/frama-c/why/javacard_api/javacard/framework/ISOException.java
share/frama-c/why/javacard_api/javacard/framework/JCSystem.java
share/frama-c/why/javacard_api/javacard/framework/OwnerPIN.java
share/frama-c/why/javacard_api/javacard/framework/PIN.java
share/frama-c/why/javacard_api/javacard/framework/PINException.java
share/frama-c/why/javacard_api/javacard/framework/Shareable.java
share/frama-c/why/javacard_api/javacard/framework/SystemException.java
share/frama-c/why/javacard_api/javacard/framework/TransactionException.java
share/frama-c/why/javacard_api/javacard/framework/UserException.java
share/frama-c/why/javacard_api/javacard/framework/Util.java
share/frama-c/why/javacard_api/javacard/security/CryptoException.java
share/frama-c/why/javacard_api/javacard/security/DESKey.java
share/frama-c/why/javacard_api/javacard/security/DSAKey.java
share/frama-c/why/javacard_api/javacard/security/DSAPrivateKey.java
share/frama-c/why/javacard_api/javacard/security/DSAPublicKey.java
share/frama-c/why/javacard_api/javacard/security/Key.java
share/frama-c/why/javacard_api/javacard/security/KeyBuilder.java
share/frama-c/why/javacard_api/javacard/security/KeyPair.java
share/frama-c/why/javacard_api/javacard/security/MessageDigest.java
share/frama-c/why/javacard_api/javacard/security/PrivateKey.java
share/frama-c/why/javacard_api/javacard/security/PublicKey.java
share/frama-c/why/javacard_api/javacard/security/RSAPrivateCrtKey.java
share/frama-c/why/javacard_api/javacard/security/RSAPrivateKey.java
share/frama-c/why/javacard_api/javacard/security/RSAPublicKey.java
share/frama-c/why/javacard_api/javacard/security/RandomData.java
share/frama-c/why/javacard_api/javacard/security/SecretKey.java
share/frama-c/why/javacard_api/javacard/security/Signature.java
share/frama-c/why/javacard_api/javacardx/crypto/Cipher.java
share/frama-c/why/low-level.why
share/frama-c/why/model0.why.src
share/frama-c/why/model1.why.src
share/frama-c/why/model2.why.src
share/frama-c/why/test.why
share/frama-c/why/test_low-level.why.src
share/frama-c/why/test_model0.why.src
share/frama-c/why/test_model1.why.src
share/frama-c/why/test_model2.why.src
share/frama-c/why/why-logo-1.png
share/frama-c/why/why/arrays.why
share/frama-c/why/why/bool.why
share/frama-c/why/why/floats.why
share/frama-c/why/why/floats_common.why
share/frama-c/why/why/floats_full.why
share/frama-c/why/why/floats_multi_rounding.why
share/frama-c/why/why/floats_strict.why
share/frama-c/why/why/integer.why
share/frama-c/why/why/jessie.why
share/frama-c/why/why/mix.why
share/frama-c/why/why/prelude.why
share/frama-c/why/why/real.why
share/manuals/acsl-implementation.pdf
share/manuals/aorai-manual.pdf
share/manuals/plugin-developer.pdf
share/manuals/value-analysis.pdf
@pkgdir lib/frama-c/plugins/gui
$NetBSD: distinfo,v 1.1.1.1 2009/09/11 15:09:35 tonio Exp $
SHA1 (frama-c-Beryllium-20090901.tar.gz) = 17b1516e9807a9a34ab20a3413efc372549e6fed
RMD160 (frama-c-Beryllium-20090901.tar.gz) = b29038e948b898196947cae636eef9adbea99ed6
Size (frama-c-Beryllium-20090901.tar.gz) = 18162700 bytes
SHA1 (patch-aa) = fbeccfdd1b90c1d72d954d4ea06309da5684f6a4
Frama-C is a suite of tools dedicated to the analysis of the source code of
software written in C.
Frama-C gathers several static analysis techniques in a single collaborative
framework. The collaborative approach of Frama-C allows static analyzers to
build upon the results already computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer
and dependency analysis.
$NetBSD: patch-aa,v 1.1.1.1 2009/09/11 15:09:35 tonio Exp $
Fix sh portability
--- configure.orig 2009-09-10 22:50:15.000000000 +0200
+++ configure
@@ -2170,7 +2170,7 @@ echo $ECHO_N "ocaml version is $OCAMLVER
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 \
@@ -2621,7 +2621,7 @@ as_val=`eval 'as_val=${'$as_ac_File'}
fi
-if test "$OCAMLGRAPH_EXISTS" == "no"; then
+if test "$OCAMLGRAPH_EXISTS" = "no"; then
OCAMLGRAPH_TEST=$OCAMLLIB
OCAMLGRAPH=
as_ac_File=`$as_echo "ac_cv_file_$OCAMLGRAPH_HOME/graph.$OBJ_SUFFIX" | $as_tr_sh`
@@ -2653,7 +2653,7 @@ fi
fi
# Is the installed version compatible?
-if test "$OCAMLGRAPH_EXISTS" == "yes"; then
+if test "$OCAMLGRAPH_EXISTS" = "yes"; then
test_ocamlgraph_version='print_string Graph.Version.version;;'
echo $test_ocamlgraph_version > test_ocamlgraph.ml
if ocamlc -o test_ocamlgraph $OCAMLGRAPH graph.cmo test_ocamlgraph.ml 2> /dev/null; then
@@ -2676,7 +2676,7 @@ fi
#revert back to local version of ocamlgraph
-if test "$OCAMLGRAPH_EXISTS" == "no"; then
+if test "$OCAMLGRAPH_EXISTS" = "no"; then
{ $as_echo "$as_me:$LINENO: Switching to local ocamlgraph" >&5
$as_echo "$as_me: Switching to local ocamlgraph" >&6;}
OCAMLGRAPH_LOCAL=ocamlgraph
@@ -2711,7 +2711,7 @@ as_val=`eval 'as_val=${'$as_ac_File'}
fi
- if test "$OCAMLGRAPH_EXISTS" == "no"; then
+ if test "$OCAMLGRAPH_EXISTS" = "no"; then
{ $as_echo "$as_me:$LINENO: checking for ocamlgraph.tar.gz" >&5
$as_echo_n "checking for ocamlgraph.tar.gz... " >&6; }
if test "${ac_cv_file_ocamlgraph_tar_gz+set}" = set; then
@@ -2733,7 +2733,7 @@ if test "x$ac_cv_file_ocamlgraph_tar_gz"
OCAMLGRAPH_EXISTS=yes
fi
- if test "$OCAMLGRAPH_EXISTS" == "yes"; then
+ if test "$OCAMLGRAPH_EXISTS" = "yes"; then
{ $as_echo "$as_me:$LINENO: Unarchiving ocamlgraph.tar.gz" >&5
$as_echo "$as_me: Unarchiving ocamlgraph.tar.gz" >&6;}
tar zxf ocamlgraph.tar.gz
@@ -2760,7 +2760,7 @@ if test "x$ac_cv_file_ocamlgraph_tar_gz"
OCAMLGRAPH_TAR=yes
fi
- if test "$OCAMLGRAPH_TAR" == "yes"; then
+ if test "$OCAMLGRAPH_TAR" = "yes"; then
if test ocamlgraph.tar.gz -nt ocamlgraph; then
rm -rf ocamlgraph
{ $as_echo "$as_me:$LINENO: ocamlgraph updated" >&5
@@ -2770,7 +2770,7 @@ $as_echo "$as_me: ocamlgraph updated" >&
fi
fi
- if test "$OCAMLGRAPH_EXISTS" == "no"; then
+ if test "$OCAMLGRAPH_EXISTS" = "no"; then
{ { $as_echo "$as_me:$LINENO: error: Cannot find $OCAMLGRAPH_LOCAL in current directory
Please download the latest version from http://ocamlgraph.lri.fr/download
Compile it in \"ocamlgraph\" then rerun ./configure" >&5
@@ -5310,7 +5310,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: constant_propagation is not available" >&5
$as_echo "$as_me: error: constant_propagation is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -5323,7 +5323,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=constant_propagation
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -5332,7 +5332,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} constant_propagation"
eval DYNAMIC_$up=yes
else
@@ -5404,7 +5404,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: from is not available" >&5
$as_echo "$as_me: error: from is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -5417,7 +5417,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=from
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -5426,7 +5426,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} from"
eval DYNAMIC_$up=yes
else
@@ -5498,7 +5498,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: gui is not available" >&5
$as_echo "$as_me: error: gui is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -5511,7 +5511,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=gui
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -5520,7 +5520,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} gui"
eval DYNAMIC_$up=yes
else
@@ -5530,7 +5530,7 @@ fi
echo "gui... $ENABLE"
-if test "$ENABLE_GUI" == "yes"; then
+if test "$ENABLE_GUI" = "yes"; then
REQUIRE_LABLGTK=${REQUIRE_LABLGTK}" gui"
fi
@@ -5596,7 +5596,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: impact is not available" >&5
$as_echo "$as_me: error: impact is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -5609,7 +5609,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=impact
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -5618,7 +5618,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} impact"
eval DYNAMIC_$up=yes
else
@@ -5690,7 +5690,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: inout is not available" >&5
$as_echo "$as_me: error: inout is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -5703,7 +5703,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=inout
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -5712,7 +5712,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} inout"
eval DYNAMIC_$up=yes
else
@@ -5784,7 +5784,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: jessie is not available" >&5
$as_echo "$as_me: error: jessie is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -5797,7 +5797,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=jessie
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -5815,7 +5815,7 @@ fi
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} jessie"
eval DYNAMIC_$up=yes
else
@@ -5825,7 +5825,7 @@ fi
echo "jessie... $ENABLE"
-if test "$ENABLE_JESSIE" == "yes"; then
+if test "$ENABLE_JESSIE" = "yes"; then
REQUIRE_WHYJC=${REQUIRE_WHYJC}" jessie"
USE_APRON=${USE_APRON}" jessie"
fi
@@ -5892,7 +5892,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: ltl_to_acsl is not available" >&5
$as_echo "$as_me: error: ltl_to_acsl is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -5905,7 +5905,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=ltl_to_acsl
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -5923,7 +5923,7 @@ fi
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} ltl_to_acsl"
eval DYNAMIC_$up=yes
else
@@ -5932,7 +5932,7 @@ fi
echo "ltl_to_acsl... $ENABLE"
-if test "$ENABLE_LTL_TO_ACSL" == "yes"; then
+if test "$ENABLE_LTL_TO_ACSL" = "yes"; then
USE_LTLTOBA=${USE_LTLTOBA}" ltl_to_acsl"
fi
@@ -5998,7 +5998,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: metrics is not available" >&5
$as_echo "$as_me: error: metrics is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6011,7 +6011,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=metrics
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6020,7 +6020,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} metrics"
eval DYNAMIC_$up=yes
else
@@ -6092,7 +6092,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: miel is not available" >&5
$as_echo "$as_me: error: miel is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6105,7 +6105,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=miel
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6114,7 +6114,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} miel"
eval DYNAMIC_$up=yes
else
@@ -6124,7 +6124,7 @@ fi
echo "miel... $ENABLE"
-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
@@ -6191,7 +6191,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: occurrence is not available" >&5
$as_echo "$as_me: error: occurrence is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6204,7 +6204,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=occurrence
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6213,7 +6213,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} occurrence"
eval DYNAMIC_$up=yes
else
@@ -6289,7 +6289,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: pdg is not available" >&5
$as_echo "$as_me: error: pdg is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6302,7 +6302,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=pdg
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6311,7 +6311,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} pdg"
eval DYNAMIC_$up=yes
else
@@ -6383,7 +6383,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: postdominators is not available" >&5
$as_echo "$as_me: error: postdominators is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6396,7 +6396,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=postdominators
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6405,7 +6405,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} postdominators"
eval DYNAMIC_$up=yes
else
@@ -6477,7 +6477,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: scope is not available" >&5
$as_echo "$as_me: error: scope is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6490,7 +6490,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=scope
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6499,7 +6499,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} scope"
eval DYNAMIC_$up=yes
else
@@ -6571,7 +6571,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: security is not available" >&5
$as_echo "$as_me: error: security is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6584,7 +6584,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=security
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6593,7 +6593,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} security"
eval DYNAMIC_$up=yes
else
@@ -6665,7 +6665,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: semantic_callgraph is not available" >&5
$as_echo "$as_me: error: semantic_callgraph is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6678,7 +6678,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=semantic_callgraph
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6687,7 +6687,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} semantic_callgraph"
eval DYNAMIC_$up=yes
else
@@ -6759,7 +6759,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: slicing is not available" >&5
$as_echo "$as_me: error: slicing is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6772,7 +6772,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=slicing
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6781,7 +6781,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} slicing"
eval DYNAMIC_$up=yes
else
@@ -6853,7 +6853,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: sparecode is not available" >&5
$as_echo "$as_me: error: sparecode is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6866,7 +6866,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=sparecode
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6875,7 +6875,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} sparecode"
eval DYNAMIC_$up=yes
else
@@ -6947,7 +6947,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: syntactic_callgraph is not available" >&5
$as_echo "$as_me: error: syntactic_callgraph is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -6960,7 +6960,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=syntactic_callgraph
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -6969,7 +6969,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} syntactic_callgraph"
eval DYNAMIC_$up=yes
else
@@ -6979,7 +6979,7 @@ fi
echo "syntactic_callgraph... $ENABLE"
-if test "$ENABLE_SYNTACTIC_CALLGRAPH" == "yes"; then
+if test "$ENABLE_SYNTACTIC_CALLGRAPH" = "yes"; then
USE_GNOMECANVAS=${USE_GNOMECANVAS}" syntactic_callgraph"
fi
@@ -7045,7 +7045,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: users is not available" >&5
$as_echo "$as_me: error: users is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -7058,7 +7058,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=users
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -7067,7 +7067,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} users"
eval DYNAMIC_$up=yes
else
@@ -7139,7 +7139,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: value is not available" >&5
$as_echo "$as_me: error: value is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -7152,7 +7152,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=value
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -7161,7 +7161,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} value"
eval DYNAMIC_$up=yes
else
@@ -7233,7 +7233,7 @@ fi
#)
#eval ENABLE_DYNAMIC_$up=\$ENABLE
-if test "$plugin_present" == "no" -a "$FORCE" == "yes"; then
+if test "$plugin_present" = "no" -a "$FORCE" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: wp is not available" >&5
$as_echo "$as_me: error: wp is not available" >&2;}
{ (exit 1); exit 1; }; }
@@ -7246,7 +7246,7 @@ PLUGINS_FORCE_LIST=${PLUGINS_FORCE_LIST}
eval ENABLE_$up=\$ENABLE
eval NAME_$up=wp
-if test "$default" == "no" -a "$FORCE" == "no"; then
+if test "$default" = "no" -a "$FORCE" = "no"; then
# [JS 2009/03/27] don't know why that doesn't work in one single line
tmp=" (not available by default)"
eval INFO_$up=\$tmp
@@ -7255,7 +7255,7 @@ fi
# Dynamic plug-ins configuration
is_static=yes
-if test "$is_static" == "no"; then
+if test "$is_static" = "no"; then
USE_NATIVE_DYNLINK="${USE_NATIVE_DYNLINK} wp"
eval DYNAMIC_$up=yes
else
@@ -7265,7 +7265,7 @@ fi
echo "wp... $ENABLE"
-if test "$ENABLE_WP" == "yes"; then
+if test "$ENABLE_WP" = "yes"; then
USE_ALTERGO=${USE_ALTERGO}" wp"
USE_WHY=${USE_WHY}" wp"
fi
@@ -7278,7 +7278,7 @@ EXTRA_EXTERNAL_PLUGINS=
# Check whether --enable-external was given.
if test "${enable_external+set}" = set; then
- enableval=$enable_external; if test "$enableval" == "yes" || test "$enableval" == "no"; then
+ enableval=$enable_external; if test "$enableval" = "yes" || test "$enableval" = "no"; then
{ { $as_echo "$as_me:$LINENO: error: --enable-external expects a directory as argument" >&5
$as_echo "$as_me: error: --enable-external expects a directory as argument" >&2;}
{ (exit 1); exit 1; }; };
@@ -7629,11 +7629,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
@@ -7726,7 +7726,7 @@ fi
- if test -n "$REQUIRE_LABLGLADECC" -o -n "$USE_LABLGLADECC" -o "$no" == "yes"; then
+ if test -n "$REQUIRE_LABLGLADECC" -o -n "$USE_LABLGLADECC" -o "$no" = "yes"; then
for file in lablgladecc2; do
HAS_LABLGLADECC=
# Extract the first word of "$file", so it can be a program name with args.
@@ -7767,9 +7767,9 @@ $as_echo "no" >&6; }
fi
- if test "$HAS_LABLGLADECC" == "yes"; then SELECTED_VAR=$file break; fi
+ if test "$HAS_LABLGLADECC" = "yes"; then SELECTED_VAR=$file break; fi
done
- if test "$HAS_LABLGLADECC" == "no"; then
+ if test "$HAS_LABLGLADECC" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: lablgladecc2 not found." >&5
$as_echo "$as_me: WARNING: lablgladecc2 not found." >&2;}
if test "$REQUIRE_LABLGLADECC" != ""; then
@@ -7777,7 +7777,7 @@ $as_echo "$as_me: WARNING: lablgladecc2
$REQUIRE_LABLGLADECC"
for p in $REQUIRE_LABLGLADECC; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but lablgladecc2 missing." >&5
$as_echo "$as_me: error: $p requested but lablgladecc2 missing." >&2;}
{ (exit 1); exit 1; }; }
@@ -7819,7 +7819,7 @@ $as_echo "$as_me: error: $p requested bu
- if test -n "$REQUIRE_LTLTOBA" -o -n "$USE_LTLTOBA" -o "$no" == "yes"; then
+ if test -n "$REQUIRE_LTLTOBA" -o -n "$USE_LTLTOBA" -o "$no" = "yes"; then
for file in ltl2ba; do
HAS_LTLTOBA=
# Extract the first word of "$file", so it can be a program name with args.
@@ -7860,9 +7860,9 @@ $as_echo "no" >&6; }
fi
- if test "$HAS_LTLTOBA" == "yes"; then SELECTED_VAR=$file break; fi
+ if test "$HAS_LTLTOBA" = "yes"; then SELECTED_VAR=$file break; fi
done
- if test "$HAS_LTLTOBA" == "no"; then
+ if test "$HAS_LTLTOBA" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: ltl2ba not found." >&5
$as_echo "$as_me: WARNING: ltl2ba not found." >&2;}
if test "$REQUIRE_LTLTOBA" != ""; then
@@ -7870,7 +7870,7 @@ $as_echo "$as_me: WARNING: ltl2ba not fo
$REQUIRE_LTLTOBA"
for p in $REQUIRE_LTLTOBA; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but ltl2ba missing." >&5
$as_echo "$as_me: error: $p requested but ltl2ba missing." >&2;}
{ (exit 1); exit 1; }; }
@@ -7915,7 +7915,7 @@ $as_echo "$as_me: error: $p requested bu
# [JS 2009/06/02] sh tests and m4 variables do not mix well together.
# It works by chance but it is not robust enough.
# Should be rewritten
- if test -n "$REQUIRE_LABLGTK" -o -n "$USE_LABLGTK" -o "no" == "yes"; then
+ if test -n "$REQUIRE_LABLGTK" -o -n "$USE_LABLGTK" -o "no" = "yes"; then
HAS_LABLGTK=no
if test "$HAS_LABLGTK" != "yes"; then
as_ac_File=`$as_echo "ac_cv_file_$OCAMLLIB/lablgtk2/lablgtk.$LIB_SUFFIX" | $as_tr_sh`
@@ -7946,11 +7946,11 @@ else
HAS_LABLGTK=no
fi
- if test "$HAS_LABLGTK" == "yes"; then SELECTED_LABLGTK=$OCAMLLIB/lablgtk2/lablgtk.$LIB_SUFFIX
+ if test "$HAS_LABLGTK" = "yes"; then SELECTED_LABLGTK=$OCAMLLIB/lablgtk2/lablgtk.$LIB_SUFFIX
fi
fi
- if test "$HAS_LABLGTK" == "no"; then
+ if test "$HAS_LABLGTK" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: lablgtk2/lablgtk.$LIB_SUFFIX not found." >&5
$as_echo "$as_me: WARNING: lablgtk2/lablgtk.$LIB_SUFFIX not found." >&2;}
if test "$REQUIRE_LABLGTK" != ""; then
@@ -7958,7 +7958,7 @@ $as_echo "$as_me: WARNING: lablgtk2/labl
$REQUIRE_LABLGTK"
for p in $REQUIRE_LABLGTK; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but $OCAMLLIB/lablgtk2/lablgtk.$LIB_SUFFIX missing." >&5
$as_echo "$as_me: error: $p requested but $OCAMLLIB/lablgtk2/lablgtk.$LIB_SUFFIX missing." >&2;}
{ (exit 1); exit 1; }; }
@@ -8002,7 +8002,7 @@ $as_echo "$as_me: error: $p requested bu
# [JS 2009/06/02] sh tests and m4 variables do not mix well together.
# It works by chance but it is not robust enough.
# Should be rewritten
- if test -n "$REQUIRE_GTKSOURCEVIEW" -o -n "$USE_GTKSOURCEVIEW" -o "no" == "yes"; then
+ if test -n "$REQUIRE_GTKSOURCEVIEW" -o -n "$USE_GTKSOURCEVIEW" -o "no" = "yes"; then
HAS_GTKSOURCEVIEW=no
if test "$HAS_GTKSOURCEVIEW" != "yes"; then
as_ac_File=`$as_echo "ac_cv_file_$OCAMLLIB/lablgtk2/lablgtksourceview.$LIB_SUFFIX" | $as_tr_sh`
@@ -8033,7 +8033,7 @@ else
HAS_GTKSOURCEVIEW=no
fi
- if test "$HAS_GTKSOURCEVIEW" == "yes"; then SELECTED_GTKSOURCEVIEW=$OCAMLLIB/lablgtk2/lablgtksourceview.$LIB_SUFFIX
+ if test "$HAS_GTKSOURCEVIEW" = "yes"; then SELECTED_GTKSOURCEVIEW=$OCAMLLIB/lablgtk2/lablgtksourceview.$LIB_SUFFIX
fi
fi
if test "$HAS_GTKSOURCEVIEW" != "yes"; then
@@ -8065,11 +8065,11 @@ else
HAS_GTKSOURCEVIEW=no
fi
- if test "$HAS_GTKSOURCEVIEW" == "yes"; then SELECTED_GTKSOURCEVIEW=$OCAMLLIB/lablgtksourceview/lablgtksourceview.$LIB_SUFFIX
+ if test "$HAS_GTKSOURCEVIEW" = "yes"; then SELECTED_GTKSOURCEVIEW=$OCAMLLIB/lablgtksourceview/lablgtksourceview.$LIB_SUFFIX
fi
fi
- if test "$HAS_GTKSOURCEVIEW" == "no"; then
+ if test "$HAS_GTKSOURCEVIEW" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: lablgtksourceview.$LIB_SUFFIX not found" >&5
$as_echo "$as_me: WARNING: lablgtksourceview.$LIB_SUFFIX not found" >&2;}
if test "$REQUIRE_GTKSOURCEVIEW" != ""; then
@@ -8077,7 +8077,7 @@ $as_echo "$as_me: WARNING: lablgtksource
$REQUIRE_GTKSOURCEVIEW"
for p in $REQUIRE_GTKSOURCEVIEW; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but $OCAMLLIB/lablgtk2/lablgtksourceview.$LIB_SUFFIX" >&5
$as_echo "$as_me: error: $p requested but $OCAMLLIB/lablgtk2/lablgtksourceview.$LIB_SUFFIX" >&2;}
{ (exit $OCAMLLIB/lablgtksourceview/lablgtksourceview.$LIB_SUFFIX missing.); exit $OCAMLLIB/lablgtksourceview/lablgtksourceview.$LIB_SUFFIX missing.; }; }
@@ -8121,7 +8121,7 @@ $as_echo "$as_me: error: $p requested bu
# [JS 2009/06/02] sh tests and m4 variables do not mix well together.
# It works by chance but it is not robust enough.
# Should be rewritten
- if test -n "$REQUIRE_GNOMECANVAS" -o -n "$USE_GNOMECANVAS" -o "" == "yes"; then
+ if test -n "$REQUIRE_GNOMECANVAS" -o -n "$USE_GNOMECANVAS" -o "" = "yes"; then
HAS_GNOMECANVAS=no
if test "$HAS_GNOMECANVAS" != "yes"; then
as_ac_File=`$as_echo "ac_cv_file_$OCAMLLIB/lablgtk2/lablgnomecanvas.$LIB_SUFFIX" | $as_tr_sh`
@@ -8152,11 +8152,11 @@ else
HAS_GNOMECANVAS=no
fi
- if test "$HAS_GNOMECANVAS" == "yes"; then SELECTED_GNOMECANVAS=$OCAMLLIB/lablgtk2/lablgnomecanvas.$LIB_SUFFIX
+ if test "$HAS_GNOMECANVAS" = "yes"; then SELECTED_GNOMECANVAS=$OCAMLLIB/lablgtk2/lablgnomecanvas.$LIB_SUFFIX
fi
fi
- if test "$HAS_GNOMECANVAS" == "no"; then
+ if test "$HAS_GNOMECANVAS" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: lablgnomecanvas.$LIB_SUFFIX not found" >&5
$as_echo "$as_me: WARNING: lablgnomecanvas.$LIB_SUFFIX not found" >&2;}
if test "$REQUIRE_GNOMECANVAS" != ""; then
@@ -8164,7 +8164,7 @@ $as_echo "$as_me: WARNING: lablgnomecanv
$REQUIRE_GNOMECANVAS"
for p in $REQUIRE_GNOMECANVAS; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but $OCAMLLIB/lablgtk2/lablgnomecanvas.$LIB_SUFFIX missing." >&5
$as_echo "$as_me: error: $p requested but $OCAMLLIB/lablgtk2/lablgnomecanvas.$LIB_SUFFIX missing." >&2;}
{ (exit 1); exit 1; }; }
@@ -8208,7 +8208,7 @@ $as_echo "$as_me: error: $p requested bu
# [JS 2009/06/02] sh tests and m4 variables do not mix well together.
# It works by chance but it is not robust enough.
# Should be rewritten
- if test -n "$REQUIRE_APRON" -o -n "$USE_APRON" -o "" == "yes"; then
+ if test -n "$REQUIRE_APRON" -o -n "$USE_APRON" -o "" = "yes"; then
HAS_APRON=no
if test "$HAS_APRON" != "yes"; then
{ $as_echo "$as_me:$LINENO: checking for /usr/local/lib/apron.a" >&5
@@ -8234,7 +8234,7 @@ else
HAS_APRON=no
fi
- if test "$HAS_APRON" == "yes"; then SELECTED_APRON=/usr/local/lib/apron.a
+ if test "$HAS_APRON" = "yes"; then SELECTED_APRON=/usr/local/lib/apron.a
fi
fi
if test "$HAS_APRON" != "yes"; then
@@ -8261,11 +8261,11 @@ else
HAS_APRON=no
fi
- if test "$HAS_APRON" == "yes"; then SELECTED_APRON=/usr/lib/apron.a
+ if test "$HAS_APRON" = "yes"; then SELECTED_APRON=/usr/lib/apron.a
fi
fi
- if test "$HAS_APRON" == "no"; then
+ if test "$HAS_APRON" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: apron not found" >&5
$as_echo "$as_me: WARNING: apron not found" >&2;}
if test "$REQUIRE_APRON" != ""; then
@@ -8273,7 +8273,7 @@ $as_echo "$as_me: WARNING: apron not fou
$REQUIRE_APRON"
for p in $REQUIRE_APRON; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but /usr/local/lib/apron.a" >&5
$as_echo "$as_me: error: $p requested but /usr/local/lib/apron.a" >&2;}
{ (exit /usr/lib/apron.a missing.); exit /usr/lib/apron.a missing.; }; }
@@ -8314,7 +8314,7 @@ $as_echo "$as_me: error: $p requested bu
- if test -n "$REQUIRE_WHY" -o -n "$USE_WHY" -o "$no" == "yes"; then
+ if test -n "$REQUIRE_WHY" -o -n "$USE_WHY" -o "$no" = "yes"; then
for FILE_APRON in why; do
HAS_WHY=
# Extract the first word of "$FILE_APRON", so it can be a program name with args.
@@ -8355,9 +8355,9 @@ $as_echo "no" >&6; }
fi
- if test "$HAS_WHY" == "yes"; then SELECTED_VAR=$FILE_APRON break; fi
+ if test "$HAS_WHY" = "yes"; then SELECTED_VAR=$FILE_APRON break; fi
done
- if test "$HAS_WHY" == "no"; then
+ if test "$HAS_WHY" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: why not found" >&5
$as_echo "$as_me: WARNING: why not found" >&2;}
if test "$REQUIRE_WHY" != ""; then
@@ -8365,7 +8365,7 @@ $as_echo "$as_me: WARNING: why not found
$REQUIRE_WHY"
for p in $REQUIRE_WHY; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but why missing." >&5
$as_echo "$as_me: error: $p requested but why missing." >&2;}
{ (exit 1); exit 1; }; }
@@ -8410,7 +8410,7 @@ $as_echo "$as_me: error: $p requested bu
# [JS 2009/06/02] sh tests and m4 variables do not mix well together.
# It works by chance but it is not robust enough.
# Should be rewritten
- if test -n "$REQUIRE_WHYJC" -o -n "$USE_WHYJC" -o "no" == "yes"; then
+ if test -n "$REQUIRE_WHYJC" -o -n "$USE_WHYJC" -o "no" = "yes"; then
HAS_WHYJC=no
if test "$HAS_WHYJC" != "yes"; then
as_ac_File=`$as_echo "ac_cv_file_$WHYDISTRIB/jc" | $as_tr_sh`
@@ -8441,7 +8441,7 @@ else
HAS_WHYJC=no
fi
- if test "$HAS_WHYJC" == "yes"; then SELECTED_WHYJC=$WHYDISTRIB/jc
+ if test "$HAS_WHYJC" = "yes"; then SELECTED_WHYJC=$WHYDISTRIB/jc
fi
fi
if test "$HAS_WHYJC" != "yes"; then
@@ -8473,11 +8473,11 @@ else
HAS_WHYJC=no
fi
- if test "$HAS_WHYJC" == "yes"; then SELECTED_WHYJC=$OCAMLLIB/jessie/jc.$OBJ_SUFFIX
+ if test "$HAS_WHYJC" = "yes"; then SELECTED_WHYJC=$OCAMLLIB/jessie/jc.$OBJ_SUFFIX
fi
fi
- if test "$HAS_WHYJC" == "no"; then
+ if test "$HAS_WHYJC" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: jc not found" >&5
$as_echo "$as_me: WARNING: jc not found" >&2;}
if test "$REQUIRE_WHYJC" != ""; then
@@ -8485,7 +8485,7 @@ $as_echo "$as_me: WARNING: jc not found"
$REQUIRE_WHYJC"
for p in $REQUIRE_WHYJC; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but $WHYDISTRIB/jc" >&5
$as_echo "$as_me: error: $p requested but $WHYDISTRIB/jc" >&2;}
{ (exit $OCAMLLIB/jessie/jc.$OBJ_SUFFIX missing.); exit $OCAMLLIB/jessie/jc.$OBJ_SUFFIX missing.; }; }
@@ -8529,7 +8529,7 @@ $as_echo "$as_me: error: $p requested bu
# [JS 2009/06/02] sh tests and m4 variables do not mix well together.
# It works by chance but it is not robust enough.
# Should be rewritten
- if test -n "$REQUIRE_NATIVE_DYNLINK" -o -n "$USE_NATIVE_DYNLINK" -o "yes" == "yes"; then
+ if test -n "$REQUIRE_NATIVE_DYNLINK" -o -n "$USE_NATIVE_DYNLINK" -o "yes" = "yes"; then
HAS_NATIVE_DYNLINK=no
if test "$HAS_NATIVE_DYNLINK" != "yes"; then
as_ac_File=`$as_echo "ac_cv_file_$OCAMLLIB/dynlink.cmxa" | $as_tr_sh`
@@ -8560,11 +8560,11 @@ else
HAS_NATIVE_DYNLINK=no
fi
- if test "$HAS_NATIVE_DYNLINK" == "yes"; then SELECTED_NATIVE_DYNLINK=$OCAMLLIB/dynlink.cmxa
+ if test "$HAS_NATIVE_DYNLINK" = "yes"; then SELECTED_NATIVE_DYNLINK=$OCAMLLIB/dynlink.cmxa
fi
fi
- if test "$HAS_NATIVE_DYNLINK" == "no"; then
+ if test "$HAS_NATIVE_DYNLINK" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: native dynlink unavailable (ocaml 3.11 or higher required)" >&5
$as_echo "$as_me: WARNING: native dynlink unavailable (ocaml 3.11 or higher required)" >&2;}
if test "$REQUIRE_NATIVE_DYNLINK" != ""; then
@@ -8572,7 +8572,7 @@ $as_echo "$as_me: WARNING: native dynlin
$REQUIRE_NATIVE_DYNLINK"
for p in $REQUIRE_NATIVE_DYNLINK; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but $OCAMLLIB/dynlink.cmxa missing." >&5
$as_echo "$as_me: error: $p requested but $OCAMLLIB/dynlink.cmxa missing." >&2;}
{ (exit 1); exit 1; }; }
@@ -8613,7 +8613,7 @@ $as_echo "$as_me: error: $p requested bu
- if test -n "$REQUIRE_ALTERGO" -o -n "$USE_ALTERGO" -o "$no" == "yes"; then
+ if test -n "$REQUIRE_ALTERGO" -o -n "$USE_ALTERGO" -o "$no" = "yes"; then
for FILE_NATIVE_DYNLINK in alt-ergo; do
HAS_ALTERGO=
# Extract the first word of "$FILE_NATIVE_DYNLINK", so it can be a program name with args.
@@ -8654,9 +8654,9 @@ $as_echo "no" >&6; }
fi
- if test "$HAS_ALTERGO" == "yes"; then SELECTED_VAR=$FILE_NATIVE_DYNLINK break; fi
+ if test "$HAS_ALTERGO" = "yes"; then SELECTED_VAR=$FILE_NATIVE_DYNLINK break; fi
done
- if test "$HAS_ALTERGO" == "no"; then
+ if test "$HAS_ALTERGO" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: alt-ergo not found" >&5
$as_echo "$as_me: WARNING: alt-ergo not found" >&2;}
if test "$REQUIRE_ALTERGO" != ""; then
@@ -8664,7 +8664,7 @@ $as_echo "$as_me: WARNING: alt-ergo not
$REQUIRE_ALTERGO"
for p in $REQUIRE_ALTERGO; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but alt-ergo missing." >&5
$as_echo "$as_me: error: $p requested but alt-ergo missing." >&2;}
{ (exit 1); exit 1; }; }
@@ -8702,13 +8702,13 @@ $as_echo "$as_me: error: $p requested bu
# 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
fi
-if test "$HAS_WHYJC" == "yes" -a "$REQUIRE_WHYJC" != ""; then
+if test "$HAS_WHYJC" = "yes" -a "$REQUIRE_WHYJC" != ""; then
case $SELECTED_WHYJC in
$WHYDISTRIB/jc)
WHYBIN=$WHYDISTRIB/bin/why.opt
@@ -8723,7 +8723,7 @@ if test "$HAS_WHYJC" == "yes" -a "$REQUI
# for fresh cvs checkout of why...
if test ! -r $WHYDISTRIB/configure; then (cd $WHYDISTRIB && autoconf); fi
if test ! -d $WHYDISTRIB/ocamlgraph -a "$OCAMLGRAPH_LOCAL" != ""; then
- if test "$OCAMLGRAPH_TAR" == "yes"; then
+ if test "$OCAMLGRAPH_TAR" = "yes"; then
(cd $WHYDISTRIB && tar -xzf ../ocamlgraph.tar.gz);
else
{ $as_echo "$as_me:$LINENO: WARNING: No ocamlgraph available. Why configuration might fail" >&5
@@ -8739,12 +8739,12 @@ $as_echo "$as_me: WARNING: No ocamlgraph
--exec_prefix=$exec_prefix --bindir=$bindir --libdir=$datadir/frama-c \
--host=$host --build=$build --mandir=$mandir --enable-apron=$HAS_APRON) || ENABLE_JESSIE=no
fi
- if test "$ENABLE_JESSIE" == "no"; then
+ if test "$ENABLE_JESSIE" = "no"; then
INFO_JESSIE=" (configuration of Why failed)"
# wp can still attempt to use system why if it exists.
JESSIE_LOCAL=no
rm -f tests/wp/test_config_dev
- if test "$HAS_WHY" == "yes"; then
+ if test "$HAS_WHY" = "yes"; then
cp tests/wp/test_config_dev.system_why tests/wp/test_config_dev
chmod a-w tests/wp/test_config_dev
fi
@@ -8776,7 +8776,7 @@ fi
# Usable native dynlink
# Checking internal invariant
-if test "$HAS_NATIVE_DYNLINK" == "uncheck"; then
+if test "$HAS_NATIVE_DYNLINK" = "uncheck"; then
{ { $as_echo "$as_me:$LINENO: error: Internal error with check of native dynlink. Please report." >&5
$as_echo "$as_me: error: Internal error with check of native dynlink. Please report." >&2;}
{ (exit 1); exit 1; }; }
@@ -8814,7 +8814,7 @@ if test "$HAS_NATIVE_DYNLINK" != "no" ;
# [JS 2009/06/02] sh tests and m4 variables do not mix well together.
# It works by chance but it is not robust enough.
# Should be rewritten
- if test -n "$REQUIRE_USABLE_NATIVE_DYNLINK" -o -n "$USE_USABLE_NATIVE_DYNLINK" -o "yes" == "yes"; then
+ if test -n "$REQUIRE_USABLE_NATIVE_DYNLINK" -o -n "$USE_USABLE_NATIVE_DYNLINK" -o "yes" = "yes"; then
HAS_USABLE_NATIVE_DYNLINK=no
if test "$HAS_USABLE_NATIVE_DYNLINK" != "yes"; then
{ $as_echo "$as_me:$LINENO: checking for dynlink" >&5
@@ -8840,11 +8840,11 @@ else
HAS_USABLE_NATIVE_DYNLINK=no
fi
- if test "$HAS_USABLE_NATIVE_DYNLINK" == "yes"; then SELECTED_USABLE_NATIVE_DYNLINK=dynlink
+ if test "$HAS_USABLE_NATIVE_DYNLINK" = "yes"; then SELECTED_USABLE_NATIVE_DYNLINK=dynlink
fi
fi
- if test "$HAS_USABLE_NATIVE_DYNLINK" == "no"; then
+ if test "$HAS_USABLE_NATIVE_DYNLINK" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: native dynlink unsupported on this platform" >&5
$as_echo "$as_me: WARNING: native dynlink unsupported on this platform" >&2;}
if test "$REQUIRE_USABLE_NATIVE_DYNLINK" != ""; then
@@ -8852,7 +8852,7 @@ $as_echo "$as_me: WARNING: native dynlin
$REQUIRE_USABLE_NATIVE_DYNLINK"
for p in $REQUIRE_USABLE_NATIVE_DYNLINK; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but dynlink missing." >&5
$as_echo "$as_me: error: $p requested but dynlink missing." >&2;}
{ (exit 1); exit 1; }; }
@@ -8891,7 +8891,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
{ $as_echo "$as_me:$LINENO: checking for lablgtk2's custom tree model" >&5
@@ -8921,7 +8921,7 @@ $as_echo "yes" >&6; }
# It works by chance but it is not robust enough.
# Should be rewritten
if test -n "$REQUIRE_LABLGTK" -o -n "$USE_LABLGTK" -o "yes
- " == "yes"; then
+ " = "yes"; then
HAS_LABLGTK=no
if test "$HAS_LABLGTK" != "yes"; then
{ $as_echo "$as_me:$LINENO: checking for custom-tree-model" >&5
@@ -8947,11 +8947,11 @@ else
HAS_LABLGTK=no
fi
- if test "$HAS_LABLGTK" == "yes"; then SELECTED_LABLGTK=custom-tree-model
+ if test "$HAS_LABLGTK" = "yes"; then SELECTED_LABLGTK=custom-tree-model
fi
fi
- if test "$HAS_LABLGTK" == "no"; then
+ if test "$HAS_LABLGTK" = "no"; then
{ $as_echo "$as_me:$LINENO: WARNING: lablgtk2's custom tree model unavailable. You need at least LablGtk 2.12." >&5
$as_echo "$as_me: WARNING: lablgtk2's custom tree model unavailable. You need at least LablGtk 2.12." >&2;}
if test "$REQUIRE_LABLGTK" != ""; then
@@ -8959,7 +8959,7 @@ $as_echo "$as_me: WARNING: lablgtk2's cu
$REQUIRE_LABLGTK"
for p in $REQUIRE_LABLGTK; do
fp=FORCE_`upper "$p"`
- if eval test "\$$fp" == "yes"; then
+ if eval test "\$$fp" = "yes"; then
{ { $as_echo "$as_me:$LINENO: error: $p requested but custom-tree-model missing." >&5
$as_echo "$as_me: error: $p requested but custom-tree-model missing." >&2;}
{ (exit 1); exit 1; }; }
@@ -9074,9 +9074,9 @@ 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
{ { $as_echo "$as_me:$LINENO: error: $lp requested but $reason." >&5
$as_echo "$as_me: error: $lp requested but $reason." >&2;}
{ (exit 1); exit 1; }; }
@@ -9085,7 +9085,7 @@ $as_echo "$as_me: error: $lp requested b
$as_echo "$as_me: WARNING: $lp disable because $reason." >&2;}
fi
else
- if test "$short_mark" == "partial"; then
+ if test "$short_mark" = "partial"; then
reason=`echo $2 | sed -e 's/partial (\(.*\))/\1/' `
{ $as_echo "$as_me:$LINENO: WARNING: $lp only partially enable because $reason." >&5
$as_echo "$as_me: WARNING: $lp only partially enable because $reason." >&2;}
@@ -9140,7 +9140,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