~verifypn-cpn/verifypn/colored

#Programs for processing

LEX                             = flex

YACC                    = bison

CC                              = g++

RM                              = rm

FIND                    = find

GREP                    = grep

SED                             = sed

 

#Compiler and linker flags

CFLAGS                  = -O3 -I.

LDFLAGS                 = -static -O3 -llpsolve55 -lcolamd -ldl

 

#Target

TARGET                  = PeTAPAAL

 

#Source 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)

 

#Intermediate files

OBJECTS                 = $(SOURCES:.cpp=.o)                                                                                                                    \

                                  $(FLEX_SOURCES:.l=.lexer.cpp)                                                                                                 \

                                  $(BISON_SOURCES:.y=.parser.cpp)                                                                                               \

                                  $(BISON_SOURCES:.y=.parser.hpp)

 

#Build rules

%.lexer.cpp: %.l

        $(LEX) -o $@ $<

%.parser.cpp: %.y

        $(YACC) -d -o $@ $<

%.o: %.cpp

        $(CC) -c $(CFLAGS) -o $@ $<

$(TARGET): $(SOURCES:.cpp=.o)

        $(CC) $^ $(LDFLAGS) -o $@

 

all: $(TARGET)

clean:

        $(RM) -f $(OBJECTS) $(TARGET)

 

#Check the build

check: all

        @for f in Tests/*.xml; do                                                                                                                                       \

                echo "Testing $$f:";                                                                                                                                    \

                ./$(TARGET) -m 256 $$f $$f.q;                                                                                                                                   \

                if [ `echo $$f | $(SED) -e "s/.*-\([0-9]\)\.xml/\1/"` -ne $$? ]; then                                   \

                        echo " --- Test Failed!";                                                                                                                       \

                else                                                                                                                                                                    \

                        echo " +++ Test Succeeded";                                                                                                             \

                fi                                                                                                                                                                              \

        done 

 

.PHONY: all clean check