1#puts @plugins 2# -- PAGE plugin packages 3# -- ---- Canned configurations 4 5package ifneeded page::config::peg 0.1 [list source [file join $dir config_peg.tcl]] 6 7# -- PAGE plugin packages 8# -- ---- Readers 9 10package ifneeded page::reader::peg 0.1 [list source [file join $dir reader_peg.tcl]] 11package ifneeded page::reader::lemon 0.1 [list source [file join $dir reader_lemon.tcl]] 12package ifneeded page::reader::hb 0.1 [list source [file join $dir reader_hb.tcl]] 13package ifneeded page::reader::ser 0.1 [list source [file join $dir reader_ser.tcl]] 14package ifneeded page::reader::treeser 0.1 [list source [file join $dir reader_treeser.tcl]] 15 16# -- PAGE plugin packages 17# -- ---- Writers 18 19package ifneeded page::writer::null 0.1 [list source [file join $dir writer_null.tcl]] 20package ifneeded page::writer::me 0.1 [list source [file join $dir writer_me.tcl]] 21package ifneeded page::writer::mecpu 0.1.1 [list source [file join $dir writer_mecpu.tcl]] 22package ifneeded page::writer::tree 0.1 [list source [file join $dir writer_tree.tcl]] 23package ifneeded page::writer::tpc 0.1 [list source [file join $dir writer_tpc.tcl]] 24package ifneeded page::writer::hb 0.1 [list source [file join $dir writer_hb.tcl]] 25package ifneeded page::writer::ser 0.1 [list source [file join $dir writer_ser.tcl]] 26package ifneeded page::writer::peg 0.1 [list source [file join $dir writer_peg.tcl]] 27package ifneeded page::writer::identity 0.1 [list source [file join $dir writer_identity.tcl]] 28 29# -- PAGE plugin packages 30# -- ---- Transformations 31 32package ifneeded page::transform::reachable 0.1 [list source [file join $dir transform_reachable.tcl]] 33package ifneeded page::transform::realizable 0.1 [list source [file join $dir transform_realizable.tcl]] 34package ifneeded page::transform::mecpu 0.1 [list source [file join $dir transform_mecpu.tcl]] 35