forked from jiprolog/jiprolog
-
Notifications
You must be signed in to change notification settings - Fork 0
/
compile.pl
22 lines (17 loc) · 824 Bytes
/
compile.pl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
compile:-
write('compilation start'), nl,
compile('src/com/ugos/jiprolog/resources/jipkernel.txt'),
compile('src/com/ugos/jiprolog/resources/flags.pl'),
compile('src/com/ugos/jiprolog/resources/list.pl'),
compile('src/com/ugos/jiprolog/resources/sys.pl'),
compile('src/com/ugos/jiprolog/resources/xsets.pl'),
compile('src/com/ugos/jiprolog/resources/setof.pl'),
compile('src/com/ugos/jiprolog/resources/xio.pl'),
compile('src/com/ugos/jiprolog/resources/xdb.pl'),
compile('src/com/ugos/jiprolog/resources/xexception.pl'),
compile('src/com/ugos/jiprolog/resources/xreflect.pl'),
compile('src/com/ugos/jiprolog/resources/xsystem.pl'),
compile('src/com/ugos/jiprolog/resources/xterm.pl'),
compile('src/com/ugos/jiprolog/resources/xxml.pl'),
write('compilation done'), nl.
%:- compile.