Skip to content

Changed compilation scheme for linux. #2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
deividrvale wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Changed compilation scheme for linux. #2

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
ccdf932
Changed compilation scheme for linux.
deividrvale Jan 3, 2023
641b52e
Small hotfix on last commit.
deividrvale Jan 3, 2023
63dc070
Merged from upstream.
deividrvale Feb 17, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
271 changes: 9 additions & 262 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ else ifneq (, $(findstring linux, $(SYS)))
WANDA_OBJS := $(shell find $(BUILD_DIR) -name '*.cpp.o' ! -name 'converter.cpp.o')
$(BIN_DIR)/$(TARGET_EXEC): install_resources $(OBJS) $(WANDA_OBJS)
@echo "Building Wanda Linux Executable..."
mkdir -p $(dir $@)
@mkdir -p $(dir $@)
@$(CXX) -static -o $@ $(WANDA_OBJS) $(LDFLAGS)
else
# other platforms will be added later
Expand All @@ -66,9 +66,9 @@ endif
# Build Converter Executable
CONVERTER_OBJS := $(shell find $(BUILD_DIR) -name '*.cpp.o' ! -name 'wanda.cpp.o')
$(BIN_DIR)/$(CONVERTER_EXEC): $(CONVERTER_OBJS)
@echo 'Building Wanda Executable.\n'
@echo "Building Converter Utility Executable..."
@mkdir -p $(dir $@)
$(CXX) $(CONVERTER_OBJS) -o $@ $(LDFLAGS)
@$(CXX) $(CONVERTER_OBJS) -o $@ $(LDFLAGS)

# Build step for C++ source
$(BUILD_DIR)/%.cpp.o: %.cpp
Expand All @@ -84,10 +84,11 @@ $(BUILD_DIR)/minisat/bin/minisat:
@echo "Cloning minisat from github..."
@rm -rf $(BUILD_DIR)/minisat
git clone $(SAT_SOLVER_REPO) $(BUILD_DIR)/minisat
mkdir -p $(BUILD_DIR)/minisat/bin
@mkdir -p $(BUILD_DIR)/minisat/bin
@echo "Building minisat..."
cd $(BUILD_DIR)/minisat && cmake . && $(MAKE)
@echo "Installing minisat executable as satsolver in Wanda's resources folder."
mkdir -p $(BIN_DIR)/resources
@mkdir -p $(BIN_DIR)/resources
cp $(BUILD_DIR)/minisat/bin/minisat $(BIN_DIR)/resources/satsolver

# Alias for $(BUILD_DIR)/NaTT
Expand All @@ -106,7 +107,9 @@ $(BUILD_DIR)/NaTT:
rm -rf $(BIN_DIR)/resources/natt/NaTT.exe
cp $(BUILD_DIR)/NaTT/bin/NaTT.exe $(BIN_DIR)/resources/natt

install_resources :
install_resources : $(BIN_DIR)/resources

$(BIN_DIR)/resources:
@echo "Installing resources to binary folder..."
@mkdir -p $(BIN_DIR)
cp -r resources $(BIN_DIR)
Expand All @@ -120,259 +123,3 @@ clean:
# Makefiles. Initially, all the .d files will be missing, and we don't want those
# errors to show up.
-include $(DEPS)






# all :
# echo 'Setting build scheme to' ${SYS}

# goal : wanda.exe converter.exe




# ifneq (, $(findstring darwin, $(SYS)))
# wanda.exe : $(objects)
# g++ -o wanda.exe $(objects)
# else
# wanda.exe : $(objects)
# g++ -static -o wanda.exe $(objects)
# endif

# converter.exe : afs.o alphabet.o beta.o dependencypair.o environment.o inputreaderafs.o inputreaderafsm.o inputreaderatrs.o inputreaderatrs.o inputreaderfo.o matchrule.o outputmodule.o polynomial.o rule.o substitution.o term.o textconverter.o type.o typer.o typesubstitution.o varset.o xmlreader.o converter.cpp converter.h
# g++ -o converter.exe converter.cpp afs.o alphabet.o beta.o dependencypair.o environment.o inputreaderafs.o inputreaderafsm.o inputreaderatrs.o matchrule.o outputmodule.o polynomial.o rule.o substitution.o term.o textconverter.o type.o typer.o typesubstitution.o varset.o xmlreader.o

# afs.o : afs.cpp afs.h outputmodule.h substitution.h
# g++ -c afs.cpp

# afs.h : term.h alphabet.h environment.h matchrule.h
# touch afs.h

# alphabet.o : alphabet.cpp alphabet.h
# g++ -c alphabet.cpp

# alphabet.h : type.h term.h
# touch alphabet.h

# beta.o : beta.cpp beta.h substitution.h
# g++ -c beta.cpp

# beta.h : term.h rule.h
# touch beta.h

# bitblaster.o : bitblaster.cpp bitblaster.h polconstraintlist.h sat.h
# g++ -c bitblaster.cpp

# bitblaster.h : polynomial.h formula.h
# touch bitblaster.h

# dependencypair.o : dependencypair.cpp dependencypair.h environment.h
# g++ -c dependencypair.cpp

# dependencypair.h : term.h
# touch dependencypair.h

# dependencygraph.o : dependencygraph.cpp dependencygraph.h outputmodule.h substitution.h
# g++ -c dependencygraph.cpp

# dependencygraph.h : dependencypair.h typer.h matchrule.h
# touch dependencygraph.h

# dpframework.o : dpframework.cpp dpframework.h beta.h environment.h horpo.h outputmodule.h polymodule.h subcritchecker.h substitution.h term.h
# g++ -c dpframework.cpp

# dpframework.h : alphabet.h dependencypair.h dependencygraph.h firstorder.h orderingproblem.h rulesmanipulator.h
# touch dpframework.h

# environment.o : environment.cpp environment.h term.h
# g++ -c environment.cpp

# environment.h : type.h varset.h
# touch environment.h

# firstorder.o : firstorder.cpp firstorder.h environment.h inputreaderfo.h
# g++ -c firstorder.cpp

# firstorder.h : matchrule.h dependencypair.h alphabet.h
# touch firstorder.h

# formula.o : formula.cpp formula.h
# g++ -c formula.cpp

# horpo.o : horpo.cpp horpo.h horpojustifier.h outputmodule.h sat.h
# g++ -c horpo.cpp

# horpo.h : alphabet.h formula.h horpoconstraintlist.h orderingproblem.h
# touch horpo.h

# horpojustifier.o : horpojustifier.cpp horpo.h horpojustifier.h outputmodule.h
# g++ -c horpojustifier.cpp

# horpojustifier.h : alphabet.h environment.h orderingproblem.h
# touch horpojustifier.h

# horpoconstraintlist.o : horpoconstraintlist.cpp horpo.h substitution.h
# g++ -c horpoconstraintlist.cpp

# horpoconstraintlist.h : requirement.h formula.h
# touch horpoconstraintlist.h

# inputreaderafsm.o : inputreaderafsm.cpp inputreaderafsm.h
# g++ -c inputreaderafsm.cpp

# inputreaderafsm.h : textconverter.h matchrule.h outputmodule.h
# touch inputreaderafsm.h

# inputreaderatrs.o : inputreaderatrs.cpp inputreaderatrs.h afs.h outputmodule.h substitution.h typesubstitution.h
# g++ -c inputreaderatrs.cpp

# inputreaderatrs.h : textconverter.h matchrule.h
# touch inputreaderatrs.h

# inputreaderafs.o : inputreaderafs.cpp inputreaderafs.h substitution.h
# g++ -c inputreaderafs.cpp

# inputreaderafs.h : textconverter.h matchrule.h afs.h
# touch inputreaderafs.h

# inputreaderfo.o : inputreaderfo.cpp inputreaderfo.h outputmodule.h rulesmanipulator.h substitution.h
# g++ -c inputreaderfo.cpp

# inputreaderfo.h : textconverter.h matchrule.h
# touch inputreaderfo.h

# matchrule.o : matchrule.cpp matchrule.h environment.h substitution.h typesubstitution.h
# g++ -c matchrule.cpp

# matchrule.h : rule.h
# touch matchrule.h

# nonterminator.o : nonterminator.cpp nonterminator.h typesubstitution.h substitution.h beta.h environment.h outputmodule.h
# g++ -c nonterminator.cpp

# nonterminator.h : matchrule.h beta.h alphabet.h
# touch nonterminator.h

# orderingproblem.o : orderingproblem.cpp orderingproblem.h formula.h outputmodule.h rulesmanipulator.h substitution.h
# g++ -c orderingproblem.cpp

# orderingproblem.h : alphabet.h dependencypair.h formula.h matchrule.h requirement.h
# touch orderingproblem.h

# outputmodule.o : outputmodule.cpp outputmodule.h afs.h
# g++ -c outputmodule.cpp

# outputmodule.h : alphabet.h dependencypair.h matchrule.h polynomial.h requirement.h
# touch outputmodule.h

# polconstraintlist.o : polconstraintlist.cpp polconstraintlist.h outputmodule.h polymodule.h
# g++ -c polconstraintlist.cpp

# polconstraintlist.h : formula.h polynomial.h
# touch polconstraintlist.h

# polymodule.o : polymodule.cpp polymodule.h outputmodule.h smt.h substitution.h
# g++ -c polymodule.cpp

# polymodule.h : polynomial.h alphabet.h polconstraintlist.h orderingproblem.h
# touch polymodule.h

# polynomial.o : polynomial.cpp polynomial.h
# g++ -c polynomial.cpp

# polynomial.h : type.h
# touch polynomial.h

# requirement.h : environment.h formula.h term.h
# touch requirement.h

# rule.o : rule.cpp rule.h
# g++ -c rule.cpp

# rule.h : term.h
# touch rule.h

# ruleremover.o : ruleremover.cpp ruleremover.h requirement.h outputmodule.h polymodule.h horpo.h rulesmanipulator.h
# g++ -c ruleremover.cpp

# ruleremover.h : alphabet.h matchrule.h orderingproblem.h
# touch ruleremover.h

# rulesmanipulator.o : rulesmanipulator.cpp rulesmanipulator.h beta.h sat.h substitution.h typer.h typesubstitution.h
# g++ -c rulesmanipulator.cpp

# rulesmanipulator.h : alphabet.h dependencypair.h formula.h matchrule.h
# touch rulesmanipulator.h

# sat.o : sat.cpp sat.h
# g++ -c sat.cpp

# sat.h : formula.h
# touch sat.h

# smt.o : smt.cpp smt.h bitblaster.h
# g++ -c smt.cpp

# smt.h : formula.h polynomial.h polconstraintlist.h
# touch smt.h

# subcritchecker.o : subcritchecker.cpp subcritchecker.h environment.h outputmodule.h rulesmanipulator.h sat.h
# g++ -c subcritchecker.cpp

# subcritchecker.h : dependencypair.h formula.h
# touch subcritchecker.h

# substitution.o : substitution.cpp substitution.h environment.h
# g++ -c substitution.cpp

# substitution.h : term.h
# touch substitution.h

# textconverter.o : textconverter.cpp textconverter.h environment.h typesubstitution.h
# g++ -c textconverter.cpp

# textconverter.h : alphabet.h term.h type.h typer.h
# touch textconverter.h

# term.o : term.cpp term.h environment.h substitution.h
# g++ -c term.cpp

# term.h : type.h varset.h
# touch term.h

# type.o : type.cpp type.h typesubstitution.h
# g++ -c type.cpp

# type.h : varset.h
# touch type.h

# typer.o : typer.cpp typer.h typesubstitution.h
# g++ -c typer.cpp

# typer.h : term.h
# touch typer.h

# typesubstitution.o : typesubstitution.cpp typesubstitution.h
# g++ -c typesubstitution.cpp

# typesubstitution.h : type.h
# touch typesubstitution.h

# varset.o : varset.cpp varset.h term.h type.h
# g++ -c varset.cpp

# wanda.o : wanda.cpp wanda.h beta.h dpframework.h inputreaderafsm.h inputreaderatrs.h inputreaderafs.h inputreaderfo.h nonterminator.h outputmodule.h xmlreader.h ruleremover.h
# g++ -c wanda.cpp

# wanda.h : alphabet.h matchrule.h
# touch wanda.h

# xmlreader.o : xmlreader.cpp xmlreader.h
# g++ -c xmlreader.cpp

# .PHONY : clean
# clean :
# rm -f $(objects)