diff options
author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2010-06-08 03:09:44 +0200 |
---|---|---|
committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2010-06-08 03:09:44 +0200 |
commit | 547d9eadcf05358fc0b81f3fac7c8166783da3c1 (patch) | |
tree | 0b6c05da0df472c4ee52f0557a7bd5f9884d58d3 | |
parent | 5c478faa4b62ddb168657cb07925e7ed5cdd6189 (diff) |
Adding GMP to lua-interface-light.
-rwxr-xr-x | compilation | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compilation b/compilation index 9e823e0..5358ecf 100755 --- a/compilation +++ b/compilation @@ -213,6 +213,7 @@ cp PSX-Bundle/COPYING Baltisot/AUTHORS lua-interface-distrib/win32-light cp PSX-Bundle/COPYING Baltisot/AUTHORS lua-interface-distrib/darwin9 cp lua-interface-distrib/win32/luacd.dll lua-interface-distrib/win32-light cp lua-interface-distrib/win32/luapsx.dll lua-interface-distrib/win32-light +cp lua-interface-distrib/win32/luagmp.dll lua-interface-distrib/win32-light cp lua-interface-distrib/win32/pthreadGC2.dll lua-interface-distrib/win32-light cp lua-interface-distrib/win32/ucl1.dll lua-interface-distrib/win32-light cp lua-interface-distrib/win32/zlib1.dll lua-interface-distrib/win32-light |