From 45e600f04da4c3f6549d8873bfc91a91bca233fc Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 20 Mar 2001 10:34:19 +0000 Subject: [PATCH] [project @ 2001-03-20 10:34:19 by simonmar] fix and elaborate the documentation for extra_libraries --- ghc/docs/users_guide/packages.sgml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/ghc/docs/users_guide/packages.sgml b/ghc/docs/users_guide/packages.sgml index 4eeff01..9ba677d 100644 --- a/ghc/docs/users_guide/packages.sgml +++ b/ghc/docs/users_guide/packages.sgml @@ -290,10 +290,13 @@ extra_libraries. Also, extra_libraries are placed - on the linker command line before the + on the linker command line after the hs_libraries for the same package. If - your package has dependencies in the other direction, you - might need to make two separate packages. + your package has dependencies in the other direction (i.e. + extra_libraries depends on + hs_libraries), and the libraries are + static, you might need to make two separate + packages. -- 1.7.10.4