aboutsummaryrefslogtreecommitdiff
path: root/myrpki
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2009-07-03 22:47:18 +0000
committerRob Austein <sra@hactrn.net>2009-07-03 22:47:18 +0000
commit5d4eeedea9428d2de5a37d047cafddc31cf09306 (patch)
tree2d15e0945735e69d803a8c877059eb78560fd470 /myrpki
parente8d729d48e869b051481957b113e34ed0b428b47 (diff)
BPKI graphing
svn path=/myrpki/Makefile; revision=2568
Diffstat (limited to 'myrpki')
-rw-r--r--myrpki/Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/myrpki/Makefile b/myrpki/Makefile
index 81de1cf2..d36a5906 100644
--- a/myrpki/Makefile
+++ b/myrpki/Makefile
@@ -4,6 +4,7 @@
#all:: myrpki.xml
#all:: lint
#all:: parse
+#all:: graph
all:: load
myrpki.xml: myrpki.py asns.csv prefixes.csv roas.csv validity.csv
@@ -22,7 +23,7 @@ load: myrpki.xml myrpki.rng
python myirbe.py
clean:
- rm -rf *.xml bpki bpki.myrpki bpki.rpkid bpki.pubd bpki.rootd
+ rm -rf *.xml bpki.myrpki bpki.rpkid bpki.pubd bpki.rootd
relatives: mom.pem dad.pem bro.pem sis.pem
@@ -31,3 +32,6 @@ mom.pem dad.pem bro.pem sis.pem: relatives.conf
format: myrpki.xml
xmllint --format myrpki.xml
+
+graph:
+ for b in bpki.myrpki bpki.rpkid bpki.pubd bpki.rootd; do python ../scripts/x509-dot.py $$b | dot -T ps2 | ps2pdf - $$b/graph.pdf; done