diff options
Diffstat (limited to 'myrpki/Makefile')
| -rw-r--r-- | myrpki/Makefile | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/myrpki/Makefile b/myrpki/Makefile deleted file mode 100644 index e828df71..00000000 --- a/myrpki/Makefile +++ /dev/null @@ -1,39 +0,0 @@ -# $Id$ - -all: schema.py - -lint: myrpki.xml schema.rng - xmllint --noout --relaxng schema.rng myrpki.xml - -schema.rng: schema.rnc - trang schema.rnc schema.rng - -schema.py: schema.rng - echo >$@ 'import lxml.etree' - echo >>$@ -n "myrpki = lxml.etree.RelaxNG(lxml.etree.fromstring('''" - cat >>$@ schema.rng - echo >>$@ "'''))" - -parse: myrpki.xml schema.py - python xml-parse-test.py - -clean: - rm -rf *.xml bpki.myrpki bpki.myirbe test screenlog.* - python sql-cleaner.py - -format: myrpki.xml - xmllint --format myrpki.xml - -graph: - find . -name .svn -prune -o -type d -name 'bpki.*' -print | while read b; do python ../scripts/x509-dot.py $$b | dot -T ps2 | ps2pdf - $$b/graph.pdf; done - -verify: - sh verify-bpki.sh - -backup: - python sql-dumper.py - tar cvvzf test.$$(TZ='' date +%Y.%m.%d.%H.%M.%S).tgz screenlog.* test backup.*.sql - rm backup.*.sql - -test: schema.py - python yamltest.py |