projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: bc61a1d)
Properly set __file__ in python bindings (#7867)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 5 Jan 2022 16:26:00 +0000 (18:26 +0200)
committerGitHub <noreply@github.com>
Wed, 5 Jan 2022 16:26:00 +0000 (08:26 -0800)
When running make docs after changing the documentation in cvc5.pxi, the html files are not updated. This PR fixes this issue.

Co-authored-by: Gereon Kremer gereon.kremer@cs.rwth-aachen.de
src/api/python/__init__.py.in patch | blob | history

diff --git a/src/api/python/__init__.py.in b/src/api/python/__init__.py.in
index 8ce03e26dc5717ada4b8b62b65cbf05ab26b1374..bbdc87347066ef0c2213f93864298f92834dc370 100644 (file)
--- a/src/api/python/__init__.py.in
+++ b/src/api/python/__init__.py.in
@@ -1,2 +1,3 @@
 import sys
 from .pycvc5 import *
+__file__ = pycvc5.__file__