Skip to content

Instantly share code, notes, and snippets.

@munsiwoo
Last active December 18, 2020 08:55
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save munsiwoo/b3f4a92c5bd6cf97fefaba4e0349f77d to your computer and use it in GitHub Desktop.
Save munsiwoo/b3f4a92c5bd6cf97fefaba4e0349f77d to your computer and use it in GitHub Desktop.
php compile and run - sh
#!/bin/bash
# data: 2019-01-29
# made by munsiwoo
echo php compile and run
PHP_PATH="/php/php-7.0.30"
if [ -f /usr/local/bin/php ]; then
rm -rf /usr/local/bin/php
fi
if [ -f /usr/local/lib/php ]; then
rm /usr/local/lib/php
fi
if [ -f /usr/local/include/php ]; then
rm /usr/local/include/php
fi
make --directory=$PHP_PATH > make.log
make install --directory=$PHP_PATH > make_install.log
if [ -f test.php ]; then
php test.php
fi
@munsiwoo
Copy link
Author

./configure --disable-all --enable-debug

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment