1		% (c) 2018-2024 Lehrstuhl fuer Softwaretechnik und Programmiersprachen,
2		% Heinrich Heine Universitaet Duesseldorf
3		% This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html)
4
5		:- module(prob_startup, [startup_prob/0]).
6
7		:- use_module(module_information,[module_info/2]).
8		:- module_info(group,infrastructure).
9		:- module_info(description,'General startup code required for all versions of ProB.').
10
11		:- use_module(pathes,[set_search_pathes/0]). % called first to set_compile_time_search_pathes
12		%:- set_search_pathes.
13		:- use_module(error_manager,[init_error_manager/0, add_warning/3]).
14		:- use_module(eventhandling, [announce_event/1]).
15		:- use_module(extension('user_signal/user_signal'), [init_user_signal/1]).
16
17		startup_prob :- %print(startup_prob),nl,
18		set_search_pathes,
19		%myheap_init,
20		init_error_manager,
21		init_user_signal(Res),
22		(Res==ok -> true ; add_warning(user_signal,'Could not load user_signal library: ',Res)),
23		announce_event(startup_prob).