ross 2003/04/23 06:05:59 PDT Modified files: docs packages.txt src Makefile.in MkInstal.in src/unix configure configure.in convert_libraries Added files: src/unix hugs-package.in Removed files: src/unix convert_package params.in Log: Prototype to explore how package installation for Hugs might be done (Unix only, for now). This installs a script hugs-package used as follows: hugs-package package-dir target-dir This converts a GHC-style source package in <package-dir>, placing the result in <target-dir> (or {Hugs}/libraries if <target-dir> is omitted). The script uses some extra stuff installed in {Hugs}/include and {Hugs}/tools. See docs/packages.txt for assumptions about package structure. Where Hugs packages should be stored is another question, and I'm not sure how to handle package dependencies. Revision Changes Path 1.2 +20 -5 hugs98/docs/packages.txt 1.53 +8 -3 hugs98/src/Makefile.in 1.33 +1 -0 hugs98/src/MkInstal.in 1.56 +4 -2 hugs98/src/unix/configure 1.62 +2 -1 hugs98/src/unix/configure.in 1.68 +4 -4 hugs98/src/unix/convert_libraries