summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas "Pixel" Noble <pixel@nobis-crew.org>2010-06-08 03:09:44 +0200
committerNicolas "Pixel" Noble <pixel@nobis-crew.org>2010-06-08 03:09:44 +0200
commit547d9eadcf05358fc0b81f3fac7c8166783da3c1 (patch)
tree0b6c05da0df472c4ee52f0557a7bd5f9884d58d3
parent5c478faa4b62ddb168657cb07925e7ed5cdd6189 (diff)
Adding GMP to lua-interface-light.
-rwxr-xr-xcompilation1
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