patch applied (hugs98): use new --configure-option option to setup configure

Ross Paterson ross at soi.city.ac.uk
Tue Jul 24 08:28:11 EDT 2007

Previous message: cvs commit: www/Hugs/pages downloading-Sep2006.htm
Next message: patch applied (hugs98): place extra header files in base/include instead of trying to mirror the GHC structure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Jul 24 04:41:41 PDT 2007  Ross Paterson <ross at soi.city.ac.uk>
  * use new --configure-option option to setup configure

    M ./libraries/tools/convert_libraries -1 +1

Previous message: cvs commit: www/Hugs/pages downloading-Sep2006.htm
Next message: patch applied (hugs98): place extra header files in base/include instead of trying to mirror the GHC structure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-hugs mailing list