pike.git/
src/
configure.in
Branch:
Tag:
Non-build tags
All tags
No tags
2007-04-02
2007-04-02 16:57:56 by Henrik Grubbström (Grubba) <grubba@grubba.org>
0785493c0cc6735c7d14834aacaf328ed5d60d09 (
18
lines) (+
14
/-
4
)
[
Show
|
Annotate
]
Branch:
7.9
Added --with-type-checker=new.
Rev: src/configure.in:1.1007
1:
-
AC_REVISION("$Id: configure.in,v 1.
1006
2007/
03
/
31
22
:
59
:
53
marcus
Exp $")
+
AC_REVISION("$Id: configure.in,v 1.
1007
2007/
04
/
02
16
:
57
:
56
grubba
Exp $")
AC_INIT(interpret.c) AC_CONFIG_HEADER(machine.h)
1512:
dnl MY_DESCR([--without-shared-nodes], dnl [disable the SHARED_NODES mode of the optimizer]), dnl [],[with_shared_nodes=yes])
+
AC_ARG_WITH(typechecker, MY_DESCR([--with-typechecker=new|old],[]))
+
AC_ARG_WITH(type-checker,
+
MY_DESCR([--with-type-checker=new|old],
+
[select type-checker behaviour]),
+
[],[with_type_checker="${with_typechecker:-old}"])
+
if test "x$with_type_checker" = "xnew"; then
+
PIKE_MSG_WARN([New type checker enabled (EXPERIMENTAL).])
+
AC_DEFINE(NEW_ARG_CHECK)
+
fi
AC_ARG_WITH(computed-goto, MY_DESCR([--with-computed-goto], [enable use of gcc-style computed goto (EXPERIMENTAL).]),
2296:
# MinGW system. cat <<\EOF #!/bin/sh
-
# Automatically generated by $Id: configure.in,v 1.
1006
2007/
03
/
31
22
:
59
:
53
marcus
Exp $.
+
# Automatically generated by $Id: configure.in,v 1.
1007
2007/
04
/
02
16
:
57
:
56
grubba
Exp $.
# MinGW-version. Do NOT edit. posix_name="`cat`" posix_prefix="/"
2334:
# Native POSIX system. cat <<\EOF #!/bin/sh
-
# Automatically generated by $Id: configure.in,v 1.
1006
2007/
03
/
31
22
:
59
:
53
marcus
Exp $.
+
# Automatically generated by $Id: configure.in,v 1.
1007
2007/
04
/
02
16
:
57
:
56
grubba
Exp $.
# POSIX-version. Do NOT edit. cat EOF
2343:
# rntcl-style cat <<\EOF #!/bin/sh
-
# Automatically generated by $Id: configure.in,v 1.
1006
2007/
03
/
31
22
:
59
:
53
marcus
Exp $.
+
# Automatically generated by $Id: configure.in,v 1.
1007
2007/
04
/
02
16
:
57
:
56
grubba
Exp $.
# RNTCL-version. Do NOT edit. sed -e "$PIKE_PATH_TRANSLATE" EOF