1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
$NetBSD: patch-configure.ac,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $
Fix "=" comparisons, pull request https://github.com/SRI-CSL/yices2/pull/134
--- configure.ac.orig 2018-10-26 21:33:09.000000000 +0000
+++ configure.ac
@@ -191,7 +191,7 @@ dnl
static_libgmp=""
AC_ARG_WITH([static-gmp],
[AS_HELP_STRING([--with-static-gmp=<path>],[Full path to a static GMP library (e.g., libgmp.a)])],
- [if test "x$withval" == x; then
+ [if test "x$withval" = x; then
AC_MSG_WARN([--with-static-gmp was used but no path was given. Using defaults])
else
static_libgmp=$withval
@@ -203,7 +203,7 @@ static_includegmp=""
AC_ARG_WITH([static-gmp-include-dir],
[AS_HELP_STRING([--with-static-gmp-include-dir=<directory>],
[Directory of include file "gmp.h" compatible with static GMP library])],
- [if test "x$withval" == x; then
+ [if test "x$withval" = x; then
AC_MSG_WARN([--with-static-gmp-include-dir was used but no directory was given. Using defaults])
else
static_includegmp=$withval
@@ -215,7 +215,7 @@ AC_ARG_WITH([static-gmp-include-dir],
pic_libgmp=""
AC_ARG_WITH([pic-gmp],
[AS_HELP_STRING([--with-pic-gmp=<path>],[Full path to a relocatable GMP library (e.g., libgmp.a)])],
- [if test "x$withval" == x; then
+ [if test "x$withval" = x; then
AC_MSG_WARN([--with-pic-gmp was used but no path was given. Using defaults])
else
pic_libgmp=$withval
@@ -227,7 +227,7 @@ pic_includegmp=""
AC_ARG_WITH([pic-gmp-include-dir],
[AS_HELP_STRING([--with-pic-gmp-include-dir=<directory>],
[Directory of include file "gmp.h" compatible with relocatable GMP library])],
- [if test "x$withval" == x; then
+ [if test "x$withval" = x; then
AC_MSG_WARN([--with-pic-gmp-include-dir was used but no directory was given. Using defaults])
else
pic_includegmp=$withval
@@ -257,10 +257,10 @@ AC_ARG_ENABLE([mcsat],
static_lpoly=""
AC_ARG_WITH([static-libpoly],
[AS_HELP_STRING([--with-static-libpoly=<path>],[Full path to libpoly.a])],
- [if test $use_mcsat == "no" ; then
+ [if test $use_mcsat = "no" ; then
AC_MSG_WARN([Ignoring option --with-static-libpoly since MCSAT support is disabled])
else
- if test "x$withval" == x; then
+ if test "x$withval" = x; then
AC_MSG_WARN([--with-static-poly was used but no path was given. Using defaults])
else
static_lpoly=$withval
@@ -273,10 +273,10 @@ static_includelpoly=""
AC_ARG_WITH([static-libpoly-include-dir],
[AS_HELP_STRING([--with-static-libpoly-include-dir=<directory>],
[Path to include files compatible with libpoly.a (e.g., /usr/local/include)])],
- [if test $use_mcsat == "no" ; then
+ [if test $use_mcsat = "no" ; then
AC_MSG_WARN([Ignoring option --with-static-libpoly-include-dir since MCSAT support is disabled])
else
- if test "x$withval" == x; then
+ if test "x$withval" = x; then
AC_MSG_WARN([--with-static-libpoly-include-dir was used but no directory was given. Using defaults])
else
static_includelpoly=$withval
@@ -289,10 +289,10 @@ AC_ARG_WITH([static-libpoly-include-dir]
pic_lpoly=""
AC_ARG_WITH([pic-libpoly],
[AS_HELP_STRING([--with-pic-libpoly=<path>],[Full path to a relocatable libpoly.a])],
- [if test $use_mcsat == "no" ; then
+ [if test $use_mcsat = "no" ; then
AC_MSG_WARN([Ignoring option --with-pic-libpoly since MCSAT support is disabled])
else
- if test "x$withval" == x; then
+ if test "x$withval" = x; then
AC_MSG_WARN([--with-pic-libpoly was used but no path was given. Using defaults])
else
pic_lpoly=$withval
@@ -305,10 +305,10 @@ pic_includelpoly=""
AC_ARG_WITH([pic-libpoly-include-dir],
[AS_HELP_STRING([--with-pic-libpoly-include-dir=<directory>],
[Path to include files compatible with the relocatable libpoly.a])],
- [if test $use_mcsat == "no" ; then
+ [if test $use_mcsat = "no" ; then
AC_MSG_WARN([Ignoring option --with-pic-libpoly-include-dir since MCSAT support is disabled])
else
- if test "x$withval" == x; then
+ if test "x$withval" = x; then
AC_MSG_WARN([--with-pic-libpoly-include-dir was used but no directory was given. Using defaults])
else
pic_includelpoly=$withval
@@ -811,7 +811,7 @@ if test ! -d configs ; then
AS_MKDIR_P([configs])
fi
-if test "x$host" == x ; then
+if test "x$host" = x ; then
AC_MSG_NOTICE([Moving make.include to configs/make.include.$build])
mv make.include "configs/make.include.$build"
else
|
