
make_dir("/usr/local/modula3-3.5.4-B/lib/m3/pkg/lotti/LINUXELF")
install_file(".M3EXPORTS", "/usr/local/modula3-3.5.4-B/lib/m3/pkg/lotti/LINUXELF", "0644")
install_file(".M3IMPTAB", "/usr/local/modula3-3.5.4-B/lib/m3/pkg/lotti/LINUXELF", "0644")
install_file(".M3WEB", "/usr/local/modula3-3.5.4-B/lib/m3/pkg/lotti/LINUXELF", "0644")
make_dir("/usr/local/modula3-3.5.4-B/lib/m3/pkg/lotti/src")
install_file("../src/CodiceTessera.i3", "/usr/local/modula3-3.5.4-B/lib/m3/pkg/lotti/src", "0644")
install_file("../src/G_Lotti.m3", "/usr/local/modula3-3.5.4-B/lib/m3/pkg/lotti/src", "0644")
install_file("../src/CodiceTessera.m3", "/usr/local/modula3-3.5.4-B/lib/m3/pkg/lotti/src", "0644")
make_dir("/usr/local/modula3-3.5.4-B/bin/LINUXELF")
install_file("lotti", "/usr/local/modula3-3.5.4-B/bin/LINUXELF", "0755")
