From fa318ceda03ef38dafa20b96bc817fe58bdefa8f Mon Sep 17 00:00:00 2001 From: John Whitington Date: Fri, 21 Nov 2014 11:23:09 +0000 Subject: [PATCH] Searching for other linearizers --- cpdf.ml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/cpdf.ml b/cpdf.ml index 291adbe..9fd7dc3 100755 --- a/cpdf.ml +++ b/cpdf.ml @@ -25,12 +25,20 @@ let find_cpdflin provided = | None -> if Sys.file_exists "cpdflin" then Some "cpdflin" else if Sys.file_exists "cpdflin.exe" then Some "cpdflin.exe" else + if Sys.file_exists "qpdf" then Some "qpdf" else + if Sys.file_exists "qpdf.exe" then Some "qpdf.exe" else match option_map (is_at_path "cpdflin") (paths ()) with h::_ -> Some h | _ -> match option_map (is_at_path "cpdflin.exe") (paths ()) with h::_ -> Some h - | _ -> None + | _ -> + match option_map (is_at_path "qpdf") (paths ()) with + h::_ -> Some h + | _ -> + match option_map (is_at_path "qpdf") (paths ()) with + h::_ -> Some h + | _ -> None (* Call cpdflin, given the (temp) input name, the output name, and the location of the cpdflin binary. Returns the exit code. *)