Searched refs:qhull_zip_file (Results 1 – 3 of 3) sorted by relevance
43 qhull_zip_file=qhull-$version.zip # no path or spaces47 exit_if_fail $LINENO "rm -f $qhull_zip_file $qhull_tgz_file $qhullmd5_file"181 log_step $LINENO "Write $qhull_zip_file"184 log_note $LINENO "Write \$qhull_files to $qhull_zip_file"186 wzzip -P -r -u $qhull_zip_file qhull-$version >>$err_log188 check_zip_file $qhull_zip_file190 exit_if_fail $LINENO "mv $TEMP_DIR/$qhull_zip_file ."228 for f in $qhull_zip_file $qhull_tgz_file; do239 if [[ -r $root_dir/$qhull_zip_file ]]; then241 exit_if_fail $LINENO "wzunzip -yb -d $root_dir/$qhull_zip_file"
50 qhull_zip_file=qhull-$version.zip # no path or spaces54 exit_if_fail $LINENO "rm -f $qhull_zip_file $qhull_tgz_file $qhullmd5_file"223 log_step $LINENO "Write $qhull_zip_file"226 log_note $LINENO "Write \$qhull_files to $qhull_zip_file"228 wzzip -P -r -u $qhull_zip_file qhull-$version >>$err_log230 check_zip_file $qhull_zip_file232 exit_if_fail $LINENO "mv $TEMP_DIR/$qhull_zip_file ."270 for f in $qhull_zip_file $qhull_tgz_file; do281 if [[ -r $root_dir/$qhull_zip_file ]]; then284 exit_if_fail $LINENO "wzunzip -yb -d $root_dir/$qhull_zip_file"
53 qhull_zip_file=qhull-$version.zip # no path or spaces57 exit_if_fail $LINENO "rm -f $qhull_zip_file $qhull_tgz_file $qhullmd5_file"270 log_step $LINENO "Write $qhull_zip_file"273 log_note $LINENO "Write \$qhull_files to $qhull_zip_file"275 wzzip -P -r -u $qhull_zip_file qhull-$version >>$err_log277 check_zip_file $qhull_zip_file279 exit_if_fail $LINENO "mv $TEMP_DIR/$qhull_zip_file ."317 for f in $qhull_zip_file $qhull_tgz_file; do328 if [[ -r $root_dir/$qhull_zip_file ]]; then331 exit_if_fail $LINENO "wzunzip -yb -d $root_dir/$qhull_zip_file"