diff options
| author | wjv <wjv@FreeBSD.org> | 2001-10-22 23:30:30 +0800 |
|---|---|---|
| committer | wjv <wjv@FreeBSD.org> | 2001-10-22 23:30:30 +0800 |
| commit | 2373bc2f9bcd34001de810053173148ad240c5ee (patch) | |
| tree | 744ccdd6ba72ca4ad41d875a7fc45d98bb2de651 /www/quixote | |
| parent | bc63b896c6566d0527ecc14806b3414da715bc99 (diff) | |
| download | freebsd-ports-gnome-2373bc2f9bcd34001de810053173148ad240c5ee.tar.gz freebsd-ports-gnome-2373bc2f9bcd34001de810053173148ad240c5ee.tar.zst freebsd-ports-gnome-2373bc2f9bcd34001de810053173148ad240c5ee.zip | |
Add script file which was forgotten during previous commit. :-(
Diffstat (limited to 'www/quixote')
| -rw-r--r-- | www/quixote/Makefile | 2 | ||||
| -rw-r--r-- | www/quixote/scripts/compile_ptl.py | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/www/quixote/Makefile b/www/quixote/Makefile index f9df205afd76..d7708ef63952 100644 --- a/www/quixote/Makefile +++ b/www/quixote/Makefile @@ -7,7 +7,7 @@ PORTNAME= quixote PORTVERSION= 0.4.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= www python MASTER_SITES= http://www.mems-exchange.org/software/files/quixote/ DISTNAME= Quixote-${PORTVERSION} diff --git a/www/quixote/scripts/compile_ptl.py b/www/quixote/scripts/compile_ptl.py new file mode 100644 index 000000000000..51fec73ddec0 --- /dev/null +++ b/www/quixote/scripts/compile_ptl.py @@ -0,0 +1,5 @@ +import sys +from quixote import ptl_compile + +for srcfile in sys.argv[1:]: + ptl_compile.compile(srcfile, srcfile + 'c') |