2 * Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
3 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
4 * This file is part of Coccinelle.
6 * Coccinelle is free software: you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, according to version 2 of the License.
10 * Coccinelle is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
18 * The authors reserve the right to distribute this or future versions of
19 * Coccinelle under other licenses.
23 (* sort a list of git codes such that the most recent comes first *)
25 let git_home = ref "/home/julia/linux-2.6"
27 let unwind_protect f cleanup
=
29 with e
-> begin cleanup e
; raise e
end
31 let (with_open_infile
: string -> ((in_channel
) -> 'a
) -> 'a
) = fun file f
->
32 let chan = open_in file
in
33 unwind_protect (fun () ->
37 (fun e
-> close_in
chan)
39 (* ----------------------------------------------------------------------- *)
42 [("Jan",1);("Feb",2);("Mar",3);("Apr",4);("May",5);("Jun",6);("Jul",7);
43 ("Aug",8);("Sep",9);("Oct",10);("Nov",11);("Dec",12)]
46 [(1,31);(2,28);(3,31);(4,30);(5,31); (6,30);(7,31);(8,31);(9,30);(10,31);
47 (11,30);(12,31);(0,31)]
49 let normalize (year
,month
,day
,hour
,minute
,second
) =
52 let (day
,hour
) = (day
- 1,hour
+ 24) in
55 let month = month - 1 in
56 let day = List.assoc
month antimonths in
58 if month = 2 && year
/ 4 * 4 = year
&& not
(year
/ 100 * 100 = year
)
62 then (year
-1,12,day,hour
,minute
,second
)
63 else (year
,month,day,hour
,minute
,second
)
64 else (year
,month,day,hour
,minute
,second
)
65 else (year
,month,day,hour
,minute
,second
)
67 exception Fail
of string
73 "pushd %s >& /dev/null ; git log %s^..%s | grep Date: > /tmp/gitsort_info ; popd >& /dev/null"
74 !git_home code code
) in
75 with_open_infile
"/tmp/gitsort_info" (fun i
->
78 with End_of_file
-> raise
(Fail
"bad git file") in
79 match Str.split
(Str.regexp
" ") l with
80 [date
;_;_;weekday
;month;day;time
;year
;offset
] ->
81 let day = int_of_string
day in
82 let month = List.assoc
month months in
83 let year = int_of_string
year in
84 (match Str.split
(Str.regexp
":") time
with
85 [hour
;minute
;second
] ->
86 let hour = int_of_string
hour in
87 let minute = int_of_string
minute in
88 let second = int_of_string
second in
90 match String.get offset
0 with
93 | _ -> raise
(Fail
"bad offset") in
94 (if not
(String.sub offset
3 2 = "00")
95 then raise
(Fail
"require 0 minutes difference"));
97 hour + (modifier * (int_of_string
(String.sub offset
1 2))) in
98 normalize (year,month,day,hour,minute,second)
99 | _ -> raise
(Fail
"bad date2"))
100 | l -> raise
(Fail
("bad date1: "^
(String.concat
"|" l))))
102 let rec get_dates = function
106 try Some
(read_info code
)
108 Fail s
-> Printf.printf
"problem in %s: %s\n" code s
; None
109 | _ -> Printf.printf
"problem in %s\n" code
; None
in
111 Some
date -> (date,code
)::(get_dates rest
)
112 | None
-> get_dates rest
115 let gits = ref ([] : string list
) in
116 with_open_infile file
(fun i
->
118 let git = try Some
(input_line i
) with End_of_file
-> None
in
120 Some x
-> gits := x
:: !gits; loop()
127 (* all because I don't know how to make a backslash regexp...*)
128 (function x
-> String.length x
> 10)
129 (Str.split
(Str.regexp
"[ \t]+") l))
133 let args = Array.to_list
Sys.argv
in
136 [_;git_home_info
;gits] -> git_home := git_home_info
; gits
138 | _ -> failwith
"args: [git home] git_codes_file" in
139 let codes = get_codes file in
140 let dates = get_dates codes in
141 match List.sort compare
dates with
143 List.iter
(function (_,x
) -> Printf.printf
"%s \\\n" x
) (List.rev prev
);
144 Printf.printf
"%s\n" last