~tapaal-dist-ctl/verifypn/logicaloperator_change

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
# For bash on OS X, as /bin/sh is compiled with --enable-strict-posix-default
SHELL    		= /bin/bash

# Programs for processing
LEX				= false
YACC			= false
CC				= gcc
CUT				= cut

# Compiler and linker flags
CFLAGS			= -flto -std=c++11 -mmacosx-version-min=10.6 -m64 -O3 -I. -I/usr/local/include -I/opt/local/include
LDFLAGS			= -flto -std=c++11 -mmacosx-version-min=10.6 -m64 -O3 lpsolve/liblpsolve55-osx64.a -lstdc++ 

# Input files
FLEX_SOURCES	= $(shell find * -name "*.l")
BISON_SOURCES	= $(shell find * -name "*.y")
SOURCES			= $(shell find * -name "*.cpp" | grep -v ".\\(parser\\|lexer\\).cpp")		\
				  $(BISON_SOURCES:.y=.parser.cpp)											\
				  $(FLEX_SOURCES:.l=.lexer.cpp)
OBJECTS			= $(SOURCES:.cpp=.o)
TARGET			= verifypn-osx64

include rules.mk