# HG changeset patch
# User jbe
# Date 1422560052 -3600
# Node ID bf7d3921872daee3e0be67e204909d9e39036345
# Parent  1fc0142c32e4651c9e953dba2ea67eb3e5805f90
Added default makefile configuration for Ubuntu distribution

diff -r 1fc0142c32e4 -r bf7d3921872d Makefile
--- a/Makefile	Thu Jan 29 20:00:39 2015 +0100
+++ b/Makefile	Thu Jan 29 20:34:12 2015 +0100
@@ -9,11 +9,21 @@
 UTIL_FLAGS  ?= -lutil
 
 .elif $(:!uname!) == "Linux"
-# Default configuration for Linux
+# Distinguish between different Linux distributions
+DISTRIB_ID != grep ^DISTRIB_ID= /etc/lsb-release | sed -E 's/.*= *"?([^"]*)"?/\1/'
+.if $(DISTRIB_ID) == "Ubuntu"
+# Default configuration for Ubuntu
+LUA_INCLUDE ?= /usr/include/lua5.2
+LUA_LIBDIR  ?= /usr/lib/x86_64-linux-gnu
+LUA_LIBRARY ?= lua5.2
+UTIL_FLAGS  ?= -ldl -lbsd
+.else
+# Default configuration for other Linux distributions
 LUA_INCLUDE ?= /usr/include
 LUA_LIBDIR  ?= /usr/lib
 LUA_LIBRARY ?= lua
 UTIL_FLAGS  ?= -ldl -lbsd
+.endif
 
 .else
 # Default configuration for other systems