saraswat/chrat

Fork from the chrat system of Fages, Rodriguez, Martinez, see https://contraintes.inria.fr/~tmartine/chrat/

chrat's Issues

make doesn't work

(On MacOS 10.11.6)

 make
mkdir -p bin
swipl -o bin/chrat -G35M -g main -c src/chrat.chr
% autoloading prolog_codewalk:must_be/2 from /opt/local/lib/swipl-7.2.3/library/error
% autoloading chr_translate:is_set/1 from /opt/local/lib/swipl-7.2.3/library/lists
% autoloading chr_translate:selectchk/3 from /opt/local/lib/swipl-7.2.3/library/lists
% autoloading chr_translate:subsumes/2 from /opt/local/lib/swipl-7.2.3/library/backcomp
% autoloading chr_translate:concat_atom/2 from /opt/local/lib/swipl-7.2.3/library/backcomp
% autoloading chr_translate:numlist/3 from /opt/local/lib/swipl-7.2.3/library/lists
% autoloading chr_translate:predsort/3 from /opt/local/lib/swipl-7.2.3/library/sort
% autoloading chr_translate:subsumes_chk/2 from /opt/local/lib/swipl-7.2.3/library/backcomp
% autoloading chr_translate:hash_term/2 from /opt/local/lib/swipl-7.2.3/library/backcomp
% autoloading prolog_codewalk:portray_clause/1 from /opt/local/lib/swipl-7.2.3/library/listing
% autoloading prolog_codewalk:clause_info/4 from /opt/local/lib/swipl-7.2.3/library/prolog_clause
% autoloading prolog_codewalk:initialization_layout/4 from /opt/local/lib/swipl-7.2.3/library/prolog_clause
% autoloading builtins:append/3 from /opt/local/lib/swipl-7.2.3/library/lists
% autoloading record:member/2 from /opt/local/lib/swipl-7.2.3/library/lists
% autoloading user:append/3 from /opt/local/lib/swipl-7.2.3/library/lists
% autoloading user:concat_atom/3 from /opt/local/lib/swipl-7.2.3/library/backcomp
% autoloading user:reverse/2 from /opt/local/lib/swipl-7.2.3/library/lists
% autoloading error:assertion/1 from /opt/local/lib/swipl-7.2.3/library/debug
% autoloading prolog_source:directory_file_path/3 from /opt/local/lib/swipl-7.2.3/library/filesex
% autoloading files_ex:use_foreign_library/2 from /opt/local/lib/swipl-7.2.3/library/shlib
% autoloading oset:reverse/2 from /opt/local/lib/swipl-7.2.3/library/lists
% autoloading qsave:current_foreign_library/2 from /opt/local/lib/swipl-7.2.3/library/shlib
% autoloading guard_entailment:append/3 from /opt/local/lib/swipl-7.2.3/library/lists
% autoloading prolog_debug:backtrace/1 from /opt/local/lib/swipl-7.2.3/library/prolog_stack
% autoloading prolog_codewalk:clause_name/2 from /opt/local/lib/swipl-7.2.3/library/prolog_clause
% Autoloader: iteration 1 resolved 9 predicates and loaded 25 files in 0.253 seconds.  Restarting ...
% autoloading files_ex:permission_error/3 from /opt/local/lib/swipl-7.2.3/library/error
% autoloading sort:must_be/2 from /opt/local/lib/swipl-7.2.3/library/error
% Autoloader: loaded 9 files in 2 iterations in 0.462 seconds
bin/chrat -o src/chrat-top.chr src/chrat-top.cat solvers/booleans.cat solvers/comparisons.cat solvers/fd.cat solvers/graphs.cat solvers/leq.cat solvers/min.cat solvers/rational_tree.cat solvers/union_find.cat
ERROR: Prolog initialisation failed:
ERROR: open/3: source_sink `'src/chrat-top.chr.cat'' does not exist (No such file or directory)
make: *** [src/chrat-top.chr] Error 1
bash-3.2$ ```