diff options
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') |