cvs commit: hugs98/libraries/tools hugs-package.in

16 Feb
2005
16 Feb
'05
2:27 a.m.
panne 2005/02/15 23:27:21 PST Modified files: libraries/tools hugs-package.in Log: Handle old-style "OPTIONS.*-#include" pragmas as well as the newer "INCLUDE" pragma Revision Changes Path 1.17 +1 -1 hugs98/libraries/tools/hugs-package.in

16 Feb
16 Feb
4:54 a.m.
Sorry about leaving this in an inconsistent state. My local tree has yet another revision of the build system, this time relying on Cabal to do all this, after a bootstrap step.
7398
Age (days ago)
7398
Last active (days ago)
1 comments
2 participants
participants (2)
-
ross@soi.city.ac.uk
-
Sven Panne