Commit f01f1cef authored by Raphael Cauderlier's avatar Raphael Cauderlier

Update dependencies versions to Dedukti 2.6 (development version

containing injective symbols)
parent 216a8e42
......@@ -63,10 +63,10 @@ echo > .config_vars &&
# Mandatory
find_and_check_binary "dkdep" ".native" "DKDEP" "-version" "" &&
find_and_check_binary "dkcheck" ".native" "DKCHECK" "-version" "Dedukti v2.5.1" &&
find_and_check_binary "dkmeta" ".native" "DKMETA" "-version" "Meta Dedukti v2.5.1" &&
find_and_check_binary "skcheck" ".native" "SKCHECK" "-version" "Sukerujo v2.5" &&
find_and_check_binary "skmeta" ".native" "SKMETA" "-version" "Sukerujo v2.5" &&
find_and_check_binary "dkcheck" ".native" "DKCHECK" "-version" "Dedukti v2.6" &&
find_and_check_binary "dkmeta" ".native" "DKMETA" "-version" "Meta Dedukti v2.6" &&
find_and_check_binary "skcheck" ".native" "SKCHECK" "-version" "Sukerujo v2.6" &&
find_and_check_binary "skmeta" ".native" "SKMETA" "-version" "Sukerujo v2.6" &&
# Optional
find_and_check_binary "csiho" ".sh" "CSIHO" "--version" "csiho 0.3"
......@@ -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"} "meta_dedukti" {= "dev"} ]
depends: ["dedukti" {= "dev"} "meta_dedukti" {= "dev"} "sukerujo" {= "dev"} "meta_sukerujo" {= "dev"}]
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