# HG changeset patch
# User jbe
# Date 1495651486 -7200
# Node ID dd6ef55cd59d01725e98bf5940936338d9418d1d
# Parent  225d6b2ac050bdfd3c22987070c1962bc3ca63fd
Changed Lua version from 5.2 to 5.3 in Makefile.options

diff -r 225d6b2ac050 -r dd6ef55cd59d Makefile.options
--- a/Makefile.options	Fri Apr 21 16:30:41 2017 +0200
+++ b/Makefile.options	Wed May 24 20:44:46 2017 +0200
@@ -14,7 +14,7 @@
 # C compiler flags
 # TODO: check alternatives to -D_GNU_SOURCE -fPIC
 #       using libtool?
-CFLAGS = -O2 -D_GNU_SOURCE -fPIC -Wall -I /usr/include -I /usr/local/include -I /usr/include/lua5.2 -I /usr/local/include/lua52
+CFLAGS = -O2 -D_GNU_SOURCE -fPIC -Wall -I /usr/include -I /usr/local/include -I /usr/include/lua5.3 -I /usr/local/include/lua53
 
 # additional C compiler flags for parts which depend on PostgreSQL
 CFLAGS_PGSQL = -I `pg_config --includedir` -I `pg_config --pkgincludedir` -I `pg_config --includedir-server`