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