Use TMPDIR environment variable for temp files (#2849)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 21 Jun 2019 17:55:03 +0000 (10:55 -0700)
committerGitHub <noreply@github.com>
Fri, 21 Jun 2019 17:55:03 +0000 (10:55 -0700)
commitcf9dfb9be23b4f802989fecd18756ed62aecc8e4
tree3f1f45759bf85b451b458aab98cf62892f7aef17
parent073335156ff7644364d12a91d4d41af776cfb91b
Use TMPDIR environment variable for temp files (#2849)

Previously, we were just writing temporary files to `/tmp/` but this
commit allows the user to use the `TMPDIR` environment variable to
determine which directory the temporary file should be written to. The
commit adds a helper function for this and also includes some minor
cleanup of existing code.
src/proof/clausal_bitvector_proof.cpp
src/proof/er/er_proof.cpp
src/proof/lrat/lrat_proof.cpp
src/util/CMakeLists.txt
src/util/utility.cpp [new file with mode: 0644]
src/util/utility.h
test/unit/proof/lrat_proof_black.h