From 4e8e199dd6f1aa8ee4d2ac4568d6d48bc03ec504 Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Sat, 4 Dec 2021 10:33:37 +0100
Subject: [PATCH] fixed temp file generation
---
proofs/pipeline/pipe.ml | 14 ++++++++++----
1 file changed, 10 insertions(+), 4 deletions(-)
diff --git a/proofs/pipeline/pipe.ml b/proofs/pipeline/pipe.ml
index 7204242..ce402b9 100644
--- a/proofs/pipeline/pipe.ml
+++ b/proofs/pipeline/pipe.ml
@@ -13,11 +13,17 @@ let process src proveit qfo_conf =
]
and mkdeps =
process "jq" [ "-r"; {|(.name + "!" + (.incr | tostring)), .path|} ]
- and dopth = process "dopth" []
+ and dopth = process "psnj-dopth" []
and chainprops depfile = process "psnj-chainprops" [ depfile ]
- and foise = process "psnj-qfo" [qfo_conf] in
- let logfile = Filename.remove_extension src ^ ".log" in
- let depfile = Filename.(temp_file (remove_extension src) ".dep") in
+ and foise = process "psnj-qfo" [ qfo_conf ] in
+ (* Set some file names *)
+ let logfile =
+ (* File produced by proveit *)
+ Filename.remove_extension src ^ ".log"
+ in
+ let depfile =
+ Filename.(temp_file (remove_extension src |> basename) ".dep")
+ in
(* Run commands *)
run (proveit > "/dev/null");
let json = collect stdout (cat logfile |. keepjson) in
--
GitLab