OpenFPGA/libs/EXTERNAL/tcl8.6.12/library/platform/pkgIndex.tcl

mirror of https://github.com/lnis-uofu/OpenFPGA.git
package ifneeded platform        1.0.18 [list source [file join $dir platform.tcl]]
package ifneeded platform::shell 1.1.4 [list source [file join $dir shell.tcl]]
	`package ifneeded platform 1.0.18 [list source [file join $dir platform.tcl]]`
	`package ifneeded platform::shell 1.1.4 [list source [file join $dir shell.tcl]]`