Commit 55c42539 authored by Raphael Cauderlier's avatar Raphael Cauderlier

Back to Dedukti v2.5

parent 60c113db
......@@ -117,7 +117,7 @@ done
# Ensures that the file ".config_vars" exists and is empty
echo > .config_vars &&
find_and_check_binary "dkcheck" ".native" "DKCHECK" "-version" "Dedukti v2.6" &&
find_and_check_binary "dkcheck" ".native" "DKCHECK" "-version" "Dedukti v2.5" &&
find_and_check_binary "dkdep" ".native" "DKDEP" "" "" &&
#find_and_check_binary "dkmeta" ".native" "DKMETA" "-version" "Meta Dedukti v2.6" &&
#find_and_check_binary "skcheck" ".native" "SKCHECK" "-version" "Sukerujo v2.6" &&
......
......@@ -4,7 +4,7 @@
(; Type system ;)
type : Type.
inj term : type -> Type.
term : type -> Type.
(; Arities of function and predicate symbols are list of types ;)
types : Type.
......
......@@ -10,4 +10,4 @@ build: [make]
install: [make "INSTALL_BIN_DIR=%{bin}%" "INSTALL_LIB_DIR=%{lib}%/dedukti/dktactics" "install"]
remove: [make "INSTALL_BIN_DIR=%{bin}%" "INSTALL_LIB_DIR=%{lib}%/dedukti/dktactics" "uninstall"]
depends: ["dedukti" {= "dev"}]
depends: ["dedukti" {>= "2.5"}]
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