-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathconfig.pl
executable file
·75 lines (52 loc) · 2.22 KB
/
config.pl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
/* INDIGOLOG configuration file
This file contains various wide-system configuration variables and options
such as location of files/modules, libraries, constants, etc.
@author ssardina 2002-2024 - [email protected], [email protected]
*/
% asserts root_indigolog/1 with the path to the INDIGOLOG root folder
:- prolog_load_context(directory, Dir), assert(root_indigolog(Dir)).
main_dir(Path):- root_indigolog(Path).
:- ['lib/common.pl'].
:- root_indigolog(Dir),
directory_file_path(Dir, 'lib', LibDir),
assert(library_directory(LibDir)),
use_module(library(utils)),
use_module(library(time)), % for call_with_time_limit/2
% style_check(-discontiguous), % use it where wanted
set_prolog_flag(optimise, true).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% location of various modules
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
dir(indigolog_plain, F) :-
root_indigolog(Dir),
directory_file_path(Dir, "interpreters/indigolog_plain.pl", F).
dir(indigolog, F) :-
root_indigolog(Dir),
directory_file_path(Dir, "interpreters/indigolog.pl", F).
dir(env_manager, F) :-
root_indigolog(Dir),
directory_file_path(Dir, "interpreters/env_man.pl", F).
dir(dev_simulator, F) :-
root_indigolog(Dir),
directory_file_path(Dir, "devices/dev_sim.pl", F).
dir(eval_bat, F) :-
root_indigolog(Dir),
directory_file_path(Dir, "eval/eval_bat.pl", F).
dir(exog_tcltk_, F) :-
root_indigolog(Dir),
directory_file_path(Dir, "devices/exog.tcl", F).
dir(exog_python_tcltk_, F) :-
root_indigolog(Dir),
directory_file_path(Dir, "devices/exog_tk.py", F).
% this consults the standard indigolog interpreter
% :- dir(indigolog, F), consult(F).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Defines the path of executables used to define device managers
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
executable_path(swi, '/usr/bin/swipl').
executable_path(eclipse, '/opt/bin/eclipse-pl'). % if available
executable_path(tcltk, '/usr/bin/wish').
executable_path(xterm, '/usr/bin/xterm').
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% EOF
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%