Commit e7c5df52 authored by Raphael Cauderlier's avatar Raphael Cauderlier

Remove dependencies to the programs that are not yet used

parent 3f795b3c
......@@ -64,9 +64,9 @@ echo > .config_vars &&
# Mandatory
find_and_check_binary "dkdep" ".native" "DKDEP" "-version" "" &&
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" &&
#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"} "sukerujo" {= "dev"} "meta_sukerujo" {= "dev"}]
depends: ["dedukti" {= "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