pike.git/ src/ configure.in

2004-05-11

2004-05-11 15:52:05 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• e7411f1f7b80df2a096fad207ec07a9400d1c8c8 (8 lines) (+5/-3) ^{[ Show | Annotate ]}
  Branch: 7.9

PIKE_PORTABLE_BYTECODE is now on by default.

Rev: src/configure.in:1.834

1: - AC_REVISION("$Id: configure.in,v 1.833 2004/05/11 08:49:54 grubba Exp $") + AC_REVISION("$Id: configure.in,v 1.834 2004/05/11 15:52:05 grubba Exp $")   AC_INIT(interpret.c)   AC_CONFIG_HEADER(machine.h)   
1511:    [AC_DEFINE(PIKE_MAPPING_KEYPAIR_LOOP)])      MY_AC_ARG_WITH(portable-bytecode, -  MY_DESCR([--with-portable-bytecode], -  [enable portable bytecode support (EXPERIMENTAL).]), +  MY_DESCR([--without-portable-bytecode], +  [disable portable bytecode support.]), +  [AC_DEFINE(PIKE_PORTABLE_BYTECODE)],[],    [AC_DEFINE(PIKE_PORTABLE_BYTECODE)])      MY_AC_ARG_WITH(lock,