0
0
mirror of https://github.com/phpv8/v8js.git synced 2024-09-19 21:15:19 +00:00
phpv8/Commandfile
2017-03-12 16:34:18 +01:00

48 lines
1.3 KiB
Plaintext

#
# Vagrant Commandfile
# (use with vagrant-devcommands plugin)
#
command 'phpize',
description: 'executes "phpize" to configure source tree for installed PHP version',
script: 'cd /data/v8js && phpize'
command 'configure',
description: 'executes "configure" to prepare build',
script: <<-eof
bash -c 'cd /data/build; ../v8js/configure `bash -c "if test -d /opt/libv8-*; then echo -n --with-v8js=; echo /opt/libv8-*; fi"` `test -d "/usr/lib64" && echo --with-libdir=lib64` CXXFLAGS="-Wall -Wno-write-strings"'
eof
command 'clean',
description: 'executes "make clean"',
script: <<-eof
cd /data/build; `which gmake || which make` clean
eof
command 'build',
description: 'executes "make"',
script: <<-eof
cd /data/build; `which gmake || which make`
eof
command 'test',
description: 'executes "make test"',
script: <<-eof
cd /data/build; `which gmake || which make` test NO_INTERACTION=1 REPORT_EXIT_STATUS=1
eof
command 'shell',
description: 'execute a PHP CLI interactive shell with V8Js loaded',
script: <<-eof
cd /data/build; php -a -d extension=modules/v8js.so
eof
chain 'all',
commands: [
{ command: 'phpize' },
{ command: 'configure' },
{ command: 'clean' },
{ command: 'build' },
{ command: 'test' }
]