diff options
| author | Rob Austein <sra@hactrn.net> | 2012-11-12 17:47:26 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2012-11-12 17:47:26 +0000 |
| commit | 5bb6712c096eb99d8d6a220fab3546cb96d06edf (patch) | |
| tree | 2206c9a160a9b68453a401db8f533b6ab8648d5e /rpkid | |
| parent | c27571f78e6f4515d0eb33fada0c40d394193b6d (diff) | |
Use real trang when available, otherwise run script which warns about
out-of-date .rng files then touches them and moves on. Developers
need to have trang installed, normal users don't and requiring trang
just annoys them. Closes #304.
svn path=/trunk/; revision=4852
Diffstat (limited to 'rpkid')
| -rw-r--r-- | rpkid/Makefile.in | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index 93c3582e..c85f2b3a 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -3,6 +3,7 @@ SUBDIRS = portal-gui PYTHON = @PYTHON@ +TRANG = @TRANG@ SECRET_KEY = @SECRET_KEY@ DJANGO_DIR = @DJANGO_DIR@ @@ -78,16 +79,16 @@ rpki/relaxng.py: ${abs_top_srcdir}/buildtools/make-relaxng.py ${RNGS} mv $@.tmp $@ left-right-schema.rng: left-right-schema.rnc - trang left-right-schema.rnc left-right-schema.rng + ${TRANG} left-right-schema.rnc left-right-schema.rng up-down-schema.rng: up-down-schema.rnc - trang up-down-schema.rnc up-down-schema.rng + ${TRANG} up-down-schema.rnc up-down-schema.rng publication-schema.rng: publication-schema.rnc - trang publication-schema.rnc publication-schema.rng + ${TRANG} publication-schema.rnc publication-schema.rng myrpki.rng: myrpki.rnc - trang myrpki.rnc myrpki.rng + ${TRANG} myrpki.rnc myrpki.rng rpki/sql_schemas.py: ${abs_top_srcdir}/buildtools/make-sql-schemas.py rpkid.sql pubd.sql ${PYTHON} ${abs_top_srcdir}/buildtools/make-sql-schemas.py >$@.tmp |