1 --- CiaoDE-1.14.2-13646/makedir/MenuOptions.pl.orig 2012-12-07 00:17:59.492617990 +0100
2 +++ CiaoDE-1.14.2-13646/makedir/MenuOptions.pl 2012-12-07 00:18:20.725950575 +0100
4 % 'src', it is now under 'build')
5 get_enginedir('src', Prefix) := ~path_concat(Prefix, 'objs').
6 get_enginedir('ins', Prefix) :=
7 - ~path_list_concat([Prefix, 'lib', 'ciao', ~component_name_version(ciao), 'engine']).
8 + ~path_list_concat([Prefix, 'lib64', 'ciao', ~component_name_version(ciao), 'engine']).
10 get_final_libroot('src', _Prefix) := ~component_src(ciao).
11 -get_final_libroot('ins', Prefix) := ~path_concat(Prefix, 'lib').
12 +get_final_libroot('ins', Prefix) := ~path_concat(Prefix, 'lib64').
14 get_final_includeroot('src', Prefix) := ~path_concat(Prefix, 'include').
15 get_final_includeroot('ins', Prefix) := ~path_concat(Prefix, 'include').
17 get_ciaohdir_root('src', Prefix) := ~path_concat(Prefix, 'include').
18 % note: this is INSTALLEDINCLUDEDIR, use a single definition!
19 get_ciaohdir_root('ins', Prefix) :=
20 - ~path_list_concat([Prefix, 'lib', 'ciao', ~component_name_version(ciao), 'include']).
21 + ~path_list_concat([Prefix, 'lib64', 'ciao', ~component_name_version(ciao), 'include']).
23 get_update_sh('all', 'no').
24 get_update_sh('user', 'yes').
25 --- CiaoDE-1.14.2-13646/ciao/lib/engine/system_info.pl~ 2011-07-08 11:45:51.000000000 +0200
26 +++ CiaoDE-1.14.2-13646/ciao/lib/engine/system_info.pl 2012-12-07 00:19:37.559281199 +0100
28 :- trust pred ciao_lib_dir(CiaoPath) => atm(CiaoPath) #
29 "@var{CiaoPath} is the path to the root of the Ciao
30 libraries. Inside this directory, there are the directories
31 - 'lib', 'library' and 'contrib', which contain library modules.".
32 + 'lib64', 'library' and 'contrib', which contain library modules.".
33 :- impl_defined(ciao_lib_dir/1).
35 :- trust pred ciao_c_headers_dir(CiaoPath) => atm(CiaoPath) #