Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse

Direc­tory tex-archive/web/glasgow/lit2x-0.16/mkworld

This is the Glasgow "make world" configuration system.  We always
distribute as a component of another system (e.g., the Glasgow Haskell
compiler), but it can be used separately.

It is based on "imake" in the MIT distribution of the X Window System,
as hacked on by Paul DuBois to support "multiple projects".  None of
those people would probably recognise it now.

The instructions for using this system come with the main system (ghc,
nofib, etc.)  They may, however, aim you at the documentation here:

    docs/mkworld_guide/mkw_guide.{dvi,info}
			general user's guide

    docs/mkworld_ref/mkw_ref.{dvi,info}
			reference guide -- actually the ``make world''
			source in literate form.

    docs/<other>	documents related to X11 `imake' or Paul
			DuBois's variant, the ancestors of this
			system.

Bug reports and comments would be most welcome.

Will Partain
partain@dcs.glasgow.ac.uk

Direc­to­ries

Name Notes
docs

Files

Name Size Date Notes
Jmakefile 1925 1993-07-02 02:00
Makefile.BOOT 1654 1992-08-27 02:00
Makefile.DUMMY 118 1991-12-07 01:00
PATCHLEVEL 70 1993-07-13 02:00
README 896 1992-09-07 02:00
TEMPLATE.jm 4857 1993-06-26 02:00
TEMPLATE.ljm 8827 1993-06-26 02:00
ccjmake.c 559 1990-08-21 02:00
install-GEN.jm 3903 1993-01-23 01:00
install-GEN.ljm 4095 1993-01-23 01:00
jmake.c 22480 1993-06-27 02:00
jmakemdep.h 7945 1993-06-27 02:00
jmkmf.prl 4010 1992-09-16 02:00
jrestoredeps 1757 1993-01-24 01:00
macros-GEN.jm 41289 1993-06-08 02:00
macros-GEN.ljm 37255 1993-04-26 02:00
plat-DEF.jm 652 1993-07-13 02:00
plat-DEF.ljm 958 1993-07-02 02:00
plat-TRIGGERS.jm 1397 1993-06-26 02:00
plat-TRIGGERS.ljm 7593 1993-06-26 02:00
plat-alpha.jm 528 1993-07-13 02:00
plat-alpha.ljm 772 1993-07-02 02:00
plat-linux.jm 803 1993-07-13 02:00
plat-linux.ljm 1131 1993-07-02 02:00
plat-mipsriscos.jm 1011 1993-07-13 02:00
plat-mipsriscos.ljm 3368 1993-07-02 02:00
plat-sun.jm 736 1993-07-13 02:00
plat-sun.ljm 972 1993-07-02 02:00
site-DEF.jm 960 1993-01-23 01:00
site-DEF.ljm 1153 1993-01-23 01:00
site.dist 4322 1993-07-13 02:00
suffixes-GEN.jm 6933 1993-07-13 02:00
suffixes-GEN.ljm 8780 1993-06-29 02:00
utils-GEN.jm 31246 1993-07-13 02:00
utils-GEN.ljm 31317 1993-07-02 02:00
Guest Book Sitemap Contact