+
+$(outdir)/%.pfa: %.mf
+ pktrace -I $(outdir)/ --pfa --simplify --keep-trying $(basename $(@F))
+ mv $(basename $(@F)).pfa $(outdir)
+
+$(outdir)/%.pfb: %.mf
+ pktrace -I $(outdir)/ --pfb --simplify --keep-trying $(basename $(@F))
+ mv $(basename $(@F)).pfb $(outdir)
+