From 2d94aa0aabf0aa7087f8833e1c61d95a034e2d13 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Fri, 25 Dec 2020 18:00:03 +0100
Subject: make-temp-file without text argument for emacs 25

fixes #534
---
 coq/coq-par-compile.el | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el
index 7d15537b..29c1ddab 100644
--- a/coq/coq-par-compile.el
+++ b/coq/coq-par-compile.el
@@ -1639,9 +1639,10 @@ was queued."
            (get job 'load-path)))
         (coq-load-path-include-current nil)
         (require-command
-         (mapconcat 'identity (nth 1 (car (get job 'queueitems))) " ")))
-    (put job 'temp-require-file
-         (make-temp-file "ProofGeneral-coq" nil ".v" require-command))
+         (mapconcat 'identity (nth 1 (car (get job 'queueitems))) " "))
+        (temp-file (make-temp-file "ProofGeneral-coq" nil ".v")))
+    (put job 'temp-require-file temp-file)
+    (with-temp-file temp-file (insert require-command))
     (when coq--debug-auto-compilation
       (message "%s: start coqdep for require job for file %s"
 	       (get job 'name)
-- 
cgit v1.2.3