diff options
Diffstat (limited to 'ext/phar/Makefile.frag')
| -rwxr-xr-x | ext/phar/Makefile.frag | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/ext/phar/Makefile.frag b/ext/phar/Makefile.frag deleted file mode 100755 index 5396dd31dc..0000000000 --- a/ext/phar/Makefile.frag +++ /dev/null @@ -1,13 +0,0 @@ - -$(srcdir)/phar_path_check.c: $(srcdir)/phar_path_check.re - $(RE2C) -b -o $(srcdir)/phar_path_check.c $(srcdir)/phar_path_check.re) - -pharcmd: $(builddir)/phar.php $(builddir)/phar.phar - -$(builddir)/phar.php: $(srcdir)/build_precommand.php $(srcdir)/phar/*.inc $(srcdir)/phar/*.php - php $(srcdir)/build_precommand.php > $(builddir)/phar.php - -$(builddir)/phar.phar: $(builddir)/phar.php $(srcdir)/phar/*.inc $(srcdir)/phar/*.php - php -d phar.readonly=0 $(srcdir)/phar.php pack -f $(builddir)/phar.phar -a pharcommand -c auto -x CVS -p 0 -s $(srcdir)/phar/phar.php -h sha1 $(srcdir)/phar/ - @chmod +x $(builddir)/phar.phar - |