Searched refs:sourcefile (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyc.in84 sourcefile=""
103 [ X"$sourcefile" = "X" ] || usage "Only one source file name allowed"
104 sourcefile="$1";;
109 [ X"$sourcefile" = "X" ] && usage "No input files"
110 [ -r "$sourcefile" ] || usage "Error: $sourcefile: No such file"
115 basename="${sourcefile##*/}"
118 compile "$sourcefile" "$outputfile"
121 if checkml "$sourcefile"
123 compile "$sourcefile" "
[all...]

Completed in 73 milliseconds