6 years agofixed hard-coded lib search paths, added ranlib custom script build phase
Marc Liyanage [Sun, 13 Feb 2005 13:16:18 +0000]
fixed hard-coded lib search paths, added ranlib custom script build phase

git-svn-id: svn+ssh://www.entropy.ch/Users/liyanage/Documents/svnroot/trunk/LeanCalc@131 153f8dbc-cef0-0310-8e0e-ba1d6c9f8c6b

6 years agoInitial revision
Marc Liyanage [Sun, 13 Feb 2005 13:10:18 +0000]
Initial revision

git-svn-id: svn+ssh://www.entropy.ch/Users/liyanage/Documents/svnroot/trunk/LeanCalc@128 153f8dbc-cef0-0310-8e0e-ba1d6c9f8c6b