1 #!/bin/bash -e 2 3 # RS Invocation script to FileCheck, used to check generated Java 4 # files or C++ files. This assumes that the .rs source file has the 5 # Java package name "foo". 6 7 print_help() { 8 help_str="Usage: %s --output=<output-dir> \ 9 --filecheck=<path-to-filecheck> \ 10 --lang=[Java/C++] \ 11 [--type=<typename>] \ 12 [--check-prefix=<prefix>] \ 13 <.rs file>\n" 14 15 printf "$help_str" $0 16 } 17 18 for arg in "$@" 19 do 20 case $arg in 21 --output=*) 22 outdir="${arg#*=}" 23 ;; 24 --filecheck*) 25 filecheck="${arg#*=}" 26 ;; 27 --lang*) 28 lang="${arg#*=}" 29 ;; 30 --type*) 31 type="${arg#*=}" 32 ;; 33 --check-prefix=*) 34 check_prefix="${arg}" 35 ;; 36 --help) 37 print_help 38 exit 0 39 ;; 40 *) 41 rsfile="$arg" 42 ;; 43 esac 44 done 45 46 if [[ (-z $outdir) || (-z $filecheck) || (-z $rsfile) ]] 47 then 48 print_help 49 exit 1 50 fi 51 52 if [[ ! -f $rsfile ]] 53 then 54 echo "Input file $rsfile doesn't exist" 55 exit 1 56 fi 57 58 rsfile_basename=$(basename "$rsfile") 59 60 if [[ $lang == "Java" ]] 61 then 62 if [[ (-z $type) ]] 63 then 64 filecheck_inputfile=foo/ScriptC_${rsfile_basename%.*}.java 65 else 66 filecheck_inputfile=foo/ScriptField_${type}.java 67 fi 68 elif [[ $lang == "C++" ]] 69 then 70 if [[ (-n $type) ]] 71 then 72 echo --type not supported for C++ 73 print_help 74 exit 1 75 fi 76 filecheck_inputfile=ScriptC_${rsfile_basename%.*}.h 77 else 78 echo Unknown language "$lang" 79 print_help 80 exit 1 81 fi 82 83 if [[ ! -f $filecheck ]] 84 then 85 echo "No file at supplied FileCheck path $filecheck" 86 exit 1 87 fi 88 89 if [[ ! -f $outdir/$filecheck_inputfile ]] 90 then 91 echo "Input file $outdir/$filecheck_inputfile doesn't exist" 92 exit 1 93 fi 94 95 "$filecheck" -input-file "$outdir"/$filecheck_inputfile ${check_prefix} "$rsfile" 96
