1 | % (c) 2009-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(version, [ version/4, version_str/1, | |
6 | revision/1, | |
7 | lastchangeddate/1, | |
8 | compare_current_version/2, | |
9 | format_prob_version/1 | |
10 | ]). | |
11 | ||
12 | :- use_module(module_information,[module_info/2]). | |
13 | ||
14 | :- module_info(group,infrastructure). | |
15 | :- module_info(description,'This module contains the current version number of ProB together with automatically updated version control infos.'). | |
16 | ||
17 | ||
18 | version(1,13,1,'nightly'). % next beta will be beta1 | |
19 | ||
20 | % example call: compare_current_version([1,7],Res). | |
21 | compare_current_version(NrList,Result) :- version(A,B,C,_), | |
22 | compare_aux(NrList,[A,B,C],Result). | |
23 | ||
24 | compare_aux([],_,current_matches). | |
25 | compare_aux([Requested|RT],[Cur|CT],Res) :- Requested = Cur,!, compare_aux(RT,CT,Res). | |
26 | compare_aux([Requested|_],[Cur|_],Res) :- Requested > Cur,!, Res = current_older. | |
27 | compare_aux(_,_,current_newer). | |
28 | ||
29 | :- use_module(library(lists),[append/2]). | |
30 | version_str(Str) :- version(V1,V2,V3,Suffix), | |
31 | number_codes(V1,C1), | |
32 | number_codes(V2,C2), | |
33 | number_codes(V3,C3), | |
34 | atom_codes(Suffix,S), | |
35 | append([C1,[0'.],C2,[0'.],C3,[0'-],S],C), | |
36 | atom_codes(Str,C). | |
37 | ||
38 | ||
39 | format_prob_version(Stream) :- | |
40 | version_str(VS), revision(Rev), lastchangeddate(DD), | |
41 | format(Stream,'ProB ~w~n Revision: ~w~n Date: ~w',[VS,Rev,DD]). | |
42 | ||
43 | ||
44 | % this file needs to be touched and committed for information below to be updated! | |
45 | ||
46 | get_revision(R) :- catch(read_revision(R),_,R='no revision found'). | |
47 | get_lastchanged(R) :- catch(read_lastchanged(R),_,R='no lastchanged found'). | |
48 | ||
49 | ||
50 | % Tries to read the revision file generated by make. | |
51 | % If it does not come from svn, the fallback revision number is used. | |
52 | read_revision(A) :- | |
53 | open('revision', read, ID), | |
54 | read_line(ID,R), close(ID), | |
55 | atom_codes(A,R). | |
56 | ||
57 | read_lastchanged(A) :- | |
58 | open('lastchanged', read, ID), | |
59 | read_line(ID,R), close(ID), | |
60 | atom_codes(A,R). | |
61 | ||
62 | :- dynamic revision/1, lastchangeddate/1. | |
63 | :- get_revision(X), assertz(revision(X)). | |
64 | :- get_lastchanged(X), assertz(lastchangeddate(X)). |