Commit 1d96a8e6 authored by Gaspard Ferey's avatar Gaspard Ferey

Fixed Makefile to handle Rodolphe's proto.

parent 1bf3ca02
DKCHECK=~/git/lambdapi/lambdapi.native
DKCHECK=dkcheck
FLAGS=--gen-obj
FLAGS=-e -nl
all : empty easy medium hardest
empty : solve_empty.dko
......@@ -9,7 +13,7 @@ medium : solve_medium.dko
hardest: solve_hardest.dko
sudoku.dko : sudoku.dk
$(DKCHECK) -nl -e sudoku.dk
$(DKCHECK) $(FLAGS) sudoku.dk
%.dko: %.dk sudoku.dko
$(DKCHECK) $<
......
(;#REQUIRE sudoku.;)
def 1 := sudoku.1.
def 2 := sudoku.2.
def 3 := sudoku.3.
......
(;#REQUIRE sudoku.;)
#EVAL sudoku.solve_sudo sudoku.empty_sudo.
(;
......
(;#REQUIRE sudoku.;)
def 1 := sudoku.1.
def 2 := sudoku.2.
def 3 := sudoku.3.
......
(;#REQUIRE sudoku.;)
def 1 := sudoku.1.
def 2 := sudoku.2.
def 3 := sudoku.3.
......
ind : Type.
1 : ind.
2 : ind.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment