From 6c3be5fdf4bb38f0bc3e994c4df577e1e0b85f1f Mon Sep 17 00:00:00 2001 From: Jan Vesely <janvesely@janvesely.net> Date: Wed, 5 Feb 2014 16:23:38 +0100 Subject: [PATCH] add makefiles for idpda, vpa, vpa2 and vpa3 determinizations --- adeterminize.idpda/makefile | 20 ++++++++++++++++++++ adeterminize.vpa/makefile | 20 ++++++++++++++++++++ adeterminize.vpa2/makefile | 20 ++++++++++++++++++++ adeterminize.vpa3/makefile | 20 ++++++++++++++++++++ makefile | 2 +- 5 files changed, 81 insertions(+), 1 deletion(-) create mode 100644 adeterminize.idpda/makefile create mode 100644 adeterminize.vpa/makefile create mode 100644 adeterminize.vpa2/makefile create mode 100644 adeterminize.vpa3/makefile diff --git a/adeterminize.idpda/makefile b/adeterminize.idpda/makefile new file mode 100644 index 0000000000..a64b6e1d4a --- /dev/null +++ b/adeterminize.idpda/makefile @@ -0,0 +1,20 @@ +CC=g++ +EXECUTIBLE=adeterminize.idpda +CCFLAGS= -std=c++11 -O2 -c -Wall -I../alib/src -I../adeterminize/src +LDFLAGS= -L../alib/lib -L../adeterminize/lib -lxml2 -lalib -ladeterminize -Wl,-rpath,. + +SOURCES=$(shell find src/ -name *cpp) +OBJECTS=$(patsubst src/%.cpp, obj/%.o, $(SOURCES)) + +all: $(SOURCES) bin/$(EXECUTIBLE) + +bin/$(EXECUTIBLE): $(OBJECTS) + mkdir -p bin + $(CC) $(OBJECTS) -o $@ $(LDFLAGS) + +obj/%.o: src/%.cpp + mkdir -p $(dir $@) + $(CC) $(CCFLAGS) $< -o $@ + +clean: + $(RM) -r *.o *.d bin obj diff --git a/adeterminize.vpa/makefile b/adeterminize.vpa/makefile new file mode 100644 index 0000000000..1bac5c5513 --- /dev/null +++ b/adeterminize.vpa/makefile @@ -0,0 +1,20 @@ +CC=g++ +EXECUTIBLE=adeterminize.vpa +CCFLAGS= -std=c++11 -O2 -c -Wall -I../alib/src -I../adeterminize/src +LDFLAGS= -L../alib/lib -L../adeterminize/lib -lxml2 -lalib -ladeterminize -Wl,-rpath,. + +SOURCES=$(shell find src/ -name *cpp) +OBJECTS=$(patsubst src/%.cpp, obj/%.o, $(SOURCES)) + +all: $(SOURCES) bin/$(EXECUTIBLE) + +bin/$(EXECUTIBLE): $(OBJECTS) + mkdir -p bin + $(CC) $(OBJECTS) -o $@ $(LDFLAGS) + +obj/%.o: src/%.cpp + mkdir -p $(dir $@) + $(CC) $(CCFLAGS) $< -o $@ + +clean: + $(RM) -r *.o *.d bin obj diff --git a/adeterminize.vpa2/makefile b/adeterminize.vpa2/makefile new file mode 100644 index 0000000000..d18b177ccd --- /dev/null +++ b/adeterminize.vpa2/makefile @@ -0,0 +1,20 @@ +CC=g++ +EXECUTIBLE=adeterminize.vpa2 +CCFLAGS= -std=c++11 -O2 -c -Wall -I../alib/src -I../adeterminize/src +LDFLAGS= -L../alib/lib -L../adeterminize/lib -lxml2 -lalib -ladeterminize -Wl,-rpath,. + +SOURCES=$(shell find src/ -name *cpp) +OBJECTS=$(patsubst src/%.cpp, obj/%.o, $(SOURCES)) + +all: $(SOURCES) bin/$(EXECUTIBLE) + +bin/$(EXECUTIBLE): $(OBJECTS) + mkdir -p bin + $(CC) $(OBJECTS) -o $@ $(LDFLAGS) + +obj/%.o: src/%.cpp + mkdir -p $(dir $@) + $(CC) $(CCFLAGS) $< -o $@ + +clean: + $(RM) -r *.o *.d bin obj diff --git a/adeterminize.vpa3/makefile b/adeterminize.vpa3/makefile new file mode 100644 index 0000000000..bd573e8031 --- /dev/null +++ b/adeterminize.vpa3/makefile @@ -0,0 +1,20 @@ +CC=g++ +EXECUTIBLE=adeterminize.vpa3 +CCFLAGS= -std=c++11 -O2 -c -Wall -I../alib/src -I../adeterminize/src +LDFLAGS= -L../alib/lib -L../adeterminize/lib -lxml2 -lalib -ladeterminize -Wl,-rpath,. + +SOURCES=$(shell find src/ -name *cpp) +OBJECTS=$(patsubst src/%.cpp, obj/%.o, $(SOURCES)) + +all: $(SOURCES) bin/$(EXECUTIBLE) + +bin/$(EXECUTIBLE): $(OBJECTS) + mkdir -p bin + $(CC) $(OBJECTS) -o $@ $(LDFLAGS) + +obj/%.o: src/%.cpp + mkdir -p $(dir $@) + $(CC) $(CCFLAGS) $< -o $@ + +clean: + $(RM) -r *.o *.d bin obj diff --git a/makefile b/makefile index bf1351491c..e82937bcbd 100644 --- a/makefile +++ b/makefile @@ -3,7 +3,7 @@ LIBPATH = /usr/lib/ BINFOLDER = bin SUBDIRS_LIBS = alib adeterminize -SUBDIRS_BINS = acat aconvert aconvert.dot aconvert.gastex aconvert.regexp aconvert.automaton aconvert.grammar aminimize adeterminize.fsm adiff adiff.automaton adiff.grammar aepsilon +SUBDIRS_BINS = acat aconvert aconvert.dot aconvert.gastex aconvert.regexp aconvert.automaton aconvert.grammar aminimize adeterminize.fsm adeterminize.idpda adeterminize.vpa adeterminize.vpa2 adeterminize.vpa3 adiff adiff.automaton adiff.grammar aepsilon SUBDIRS_WITH_MAKE = $(dir $(wildcard */makefile)) -- GitLab