=> Bootstrap dependency digest>=20010302: found digest-20121220
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
=> Checksum SHA1 OK for ode-0.5.tgz
=> Checksum RMD160 OK for ode-0.5.tgz
===> Installing dependencies for ode-0.5nb3
=> Build dependency libtool-base>=2.2.6bnb3: found libtool-base-2.4.2
=> Build dependency gmake>=3.81: found gmake-3.82nb5
===> Overriding tools for ode-0.5nb3
===> Extracting for ode-0.5nb3
===> Patching for ode-0.5nb3
=> Applying pkgsrc patches for ode-0.5nb3
===> Creating toolchain wrappers for ode-0.5nb3
===> Configuring for ode-0.5nb3
cd /scratch/devel/ode/work/ode-0.5 && /usr/pkg/bin/gmake configure
g++ -DdDOUBLE  -DdNODEBUG -o configurator.exe configurator.c
configurator.c:79:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:87:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:95:1: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'FILE* xfopen(char*, char*)':
configurator.c:140:45: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'void write_to_file(char*, char*)':
configurator.c:160:34: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'void delete_file(char*)':
configurator.c:181:60: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'void compile(char*, char*)':
configurator.c:194:18: warning: deprecated conversion from string constant to 'char*'
configurator.c: At global scope:
configurator.c:205:20: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c:235:1: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'void get_all_standard_headers(FILE*)':
configurator.c:244:39: warning: deprecated conversion from string constant to 'char*'
configurator.c:244:39: warning: deprecated conversion from string constant to 'char*'
configurator.c:247:29: warning: deprecated conversion from string constant to 'char*'
configurator.c:248:37: warning: deprecated conversion from string constant to 'char*'
configurator.c:248:37: warning: deprecated conversion from string constant to 'char*'
configurator.c:249:33: warning: deprecated conversion from string constant to 'char*'
configurator.c:258:27: warning: deprecated conversion from string constant to 'char*'
configurator.c:259:27: warning: deprecated conversion from string constant to 'char*'
configurator.c: At global scope:
configurator.c:268:65: warning: deprecated conversion from string constant to 'char*'
configurator.c:268:65: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'void get_alloca_usage(FILE*)':
configurator.c:275:39: warning: deprecated conversion from string constant to 'char*'
configurator.c:275:39: warning: deprecated conversion from string constant to 'char*'
configurator.c:281:29: warning: deprecated conversion from string constant to 'char*'
configurator.c:282:37: warning: deprecated conversion from string constant to 'char*'
configurator.c:282:37: warning: deprecated conversion from string constant to 'char*'
configurator.c:283:33: warning: deprecated conversion from string constant to 'char*'
configurator.c:285:50: warning: deprecated conversion from string constant to 'char*'
configurator.c:291:27: warning: deprecated conversion from string constant to 'char*'
configurator.c:292:27: warning: deprecated conversion from string constant to 'char*'
configurator.c:293:73: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'void get_ODE_integer_typedefs(FILE*)':
configurator.c:301:72: warning: deprecated conversion from string constant to 'char*'
configurator.c:302:68: warning: deprecated conversion from string constant to 'char*'
configurator.c:303:65: warning: deprecated conversion from string constant to 'char*'
configurator.c:310:52: warning: deprecated conversion from string constant to 'char*'
configurator.c:320:52: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'void get_ODE_float_stuff(FILE*)':
configurator.c:359:29: warning: deprecated conversion from string constant to 'char*'
configurator.c:359:29: warning: deprecated conversion from string constant to 'char*'
configurator.c:359:29: warning: deprecated conversion from string constant to 'char*'
configurator.c:359:29: warning: deprecated conversion from string constant to 'char*'
configurator.c:362:67: warning: deprecated conversion from string constant to 'char*'
configurator.c:368:12: warning: deprecated conversion from string constant to 'char*'
configurator.c:372:59: warning: deprecated conversion from string constant to 'char*'
configurator.c:376:33: warning: deprecated conversion from string constant to 'char*'
configurator.c:376:33: warning: deprecated conversion from string constant to 'char*'
configurator.c:393:24: warning: deprecated conversion from string constant to 'char*'
configurator.c:394:37: warning: deprecated conversion from string constant to 'char*'
configurator.c:394:37: warning: deprecated conversion from string constant to 'char*'
configurator.c:395:21: warning: deprecated conversion from string constant to 'char*'
configurator.c:396:28: warning: deprecated conversion from string constant to 'char*'
configurator.c:398:31: warning: deprecated conversion from string constant to 'char*'
configurator.c:399:31: warning: deprecated conversion from string constant to 'char*'
configurator.c:400:26: warning: deprecated conversion from string constant to 'char*'
configurator.c:405:52: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'void get_available_functions(FILE*)':
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:439:2: warning: deprecated conversion from string constant to 'char*'
configurator.c:441:50: warning: deprecated conversion from string constant to 'char*'
configurator.c:444:37: warning: deprecated conversion from string constant to 'char*'
configurator.c:444:37: warning: deprecated conversion from string constant to 'char*'
configurator.c:450:27: warning: deprecated conversion from string constant to 'char*'
configurator.c:451:35: warning: deprecated conversion from string constant to 'char*'
configurator.c:451:35: warning: deprecated conversion from string constant to 'char*'
configurator.c:452:31: warning: deprecated conversion from string constant to 'char*'
configurator.c:458:27: warning: deprecated conversion from string constant to 'char*'
configurator.c:459:27: warning: deprecated conversion from string constant to 'char*'
configurator.c: In function 'int main(int, char**)':
configurator.c:472:57: warning: deprecated conversion from string constant to 'char*'
configurator.c:484:30: warning: deprecated conversion from string constant to 'char*'
./configurator.exe include/ode/config.h "g++  -DdNODEBUG -lm -o " ./
ctest.cpp:1:20: fatal error: alloca.h: No such file or directory
compilation terminated.
ctest.cpp:1:20: fatal error: values.h: No such file or directory
compilation terminated.
ctest.cpp: In function 'int main()':
ctest.cpp:9:30: warning: deprecated conversion from string constant to 'char*'
ctest.cpp: In function 'int main()':
ctest.cpp:9:33: warning: deprecated conversion from string constant to 'char*'

*** configurator starting, you may see some harmless error messages ***

g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
integer types (we assume int >= 32 bits) ...
select the base floating point type ...
the floating point infinity ...
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
./ctest.exe
available functions ...
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp
g++  -DdNODEBUG -lm -o ctest.exe ctest.cpp

*** configurator succeeded ***

=> Modifying libtool scripts to use pkgsrc libtool