Use float as lua number by default

FAForever · Jul 11, 2021 · 7a48aaa · 7a48aaa
1 parent d438c85
commit 7a48aaa
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -16,8 +16,7 @@ jobs:
       - name: Build lua
         run: make \
           MYCFLAGS='-O3 -fomit-frame-pointer' \
-          EXTRA_LIBS='-lm -ldl' \
-          NUMBER='-DLUA_USER_H="\"../etc/luser_number.h"\" -DUSE_FLOAT'
+          EXTRA_LIBS='-lm -ldl'
 
       - name: Run tests
         run: ./bin/lua test/faf.lua

diff --git a/Dockerfile b/Dockerfile
@@ -8,7 +8,6 @@ COPY . /code/
 RUN make \
   MYCFLAGS='-O3 -fomit-frame-pointer' \
   EXTRA_LIBS='-lm -ldl' \
-  NUMBER='-DLUA_USER_H="\"../etc/luser_number.h"\" -DUSE_FLOAT' \
   install
 
 # Main entrypoint and the default command that will be run

diff --git a/config b/config
@@ -72,7 +72,7 @@ USERCONF=
 # Lua uses double for numbers. To change this, uncomment and edit the following
 # line, changing USE_XXX to one of USE_DOUBLE, USE_FLOAT, USE_LONG, USE_INT.
 #
-#NUMBER= -DLUA_USER_H='"../etc/luser_number.h"' -DUSE_XXX
+NUMBER= -DLUA_USER_H='"../etc/luser_number.h"' -DUSE_FLOAT
 
 # When compiling Lua with gcc on a Pentium machine, using a fast rounding
 # method for the conversion of doubles to ints can give around 20% speed