Commit f21e5b9c authored by Tomas Krchnak's avatar Tomas Krchnak
Browse files

Fix makefile + add instructions in readme

parent 15ae3d44

README.md

+5 −0
Original line number Diff line number Diff line 
# YAAASS!



Yet Another Amazing Academic Satisfiability Solver



## Building



    $ make

    $ ./yaaass INPUT_FILE

makefile

+4 −2
Original line number Diff line number Diff line 
CXXFLAGS += -std=c++20 -Wall -Wextra -pedantic -fmax-errors=1

INCLUDES = src/*.hpp



sat: src/main.cpp $(INCLUDES)

BIN = yaaass



$(BIN): src/main.cpp $(INCLUDES)

	$(CXX) $(CXXFLAGS) -o $@ $<



clean:

	$(RM) sat

	$(RM) $(BIN)