blob: fd8b9b269b70bf5751dcdbc154004348131c4617 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
let _ =
for j = 1 to ((Array.length Sys.argv)-1) do
let fml = Sys.argv.(j) in
let f = Filename.chop_extension fml in
let fv = f ^ ".v" in
if Sys.file_exists ("../../../" ^ fv) then
print_string (fv^" ")
else
let d = Filename.dirname f in
let b = String.uncapitalize (Filename.basename f) in
let fv = Filename.concat d (b ^ ".v ") in
print_string fv
done;
print_newline()
|