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