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(tools,[host_platform/1]).
15		:- use_module(eventhandling, [announce_event/1]).
16		:- use_module(extension('user_signal/user_signal'), [init_user_signal/1]).
17
18		startup_prob :- %print(startup_prob),nl,
19		set_search_pathes,
20		%myheap_init,
21		init_error_manager,
22		init_user_signal(Res),
23		(Res==ok -> true ; add_warning(user_signal,'Could not load user_signal library: ',Res)),
24		announce_event(startup_prob).