1 | % (c) 2018 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 | % general startup code required for all versions of ProB | |
8 | ||
9 | :- use_module(pathes,[set_search_pathes/0]). % called first to set_compile_time_search_pathes | |
10 | %:- set_search_pathes. | |
11 | :- use_module(error_manager,[init_error_manager/0]). | |
12 | :- use_module(tools,[host_platform/1]). | |
13 | :- use_module(eventhandling, [announce_event/1]). | |
14 | ||
15 | startup_prob :- %print(startup_prob),nl, | |
16 | set_search_pathes, | |
17 | %myheap_init, | |
18 | init_error_manager, | |
19 | announce_event(startup_prob). | |
20 | %init_eclipse_preferences, |