Make dynamic linking smarter, so this stuff works before running 'make install'
authorAdam Chlipala <adamc@hcoop.net>
Sun, 27 Sep 2009 17:02:49 +0000 (17:02 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 27 Sep 2009 17:02:49 +0000 (17:02 +0000)
commit647341320ad5c91704b05de3dbbf6222d6ed063c
tree9f4b3e842df2eb499851eb28233b46d1ee2ada12
parentb708154ac8ac17e9ffa32c75e7fd4e0d54435f4c
Make dynamic linking smarter, so this stuff works before running 'make install'
openssl/mlton/libssl-h.sml
openssl/smlnj/libssl-h.sml
pcre/mlton/libpcre-h.sml
pcre/smlnj/libpcre-h.sml