X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-pq;a=blobdiff_plain;f=travis%2Fcompile-ext-raphf.sh;fp=travis%2Fcompile-ext-raphf.sh;h=0000000000000000000000000000000000000000;hp=4c5cb9063f9a3fc01356caf0113a11aa9b3787d3;hb=011422d5848488842bd2752f8dd6fdbb51fd884f;hpb=7dda3c7100d4c67bc7d8cc363464078c2e0cc975

diff --git a/travis/compile-ext-raphf.sh b/travis/compile-ext-raphf.sh
deleted file mode 100755
index 4c5cb90..0000000
--- a/travis/compile-ext-raphf.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh -x
-
-set -e
-
-git clone --depth 1 https://github.com/m6w6/ext-raphf $HOME$BUILD_SRC_DIR/raphf
-cd $HOME$BUILD_SRC_DIR/raphf
-
-$HOME$BUILD_INSTALL_DIR/bin/phpize
-./configure --with-php-config=$HOME$BUILD_INSTALL_DIR/bin/php-config
-
-make -j2 --quiet install
-
-echo 'extension=raphf.so' > $HOME$BUILD_INSTALL_DIR/conf.d/10-raphf.ini