From: yoni206 <yoni206@users.noreply.github.com>
Date: Wed, 5 Jan 2022 16:26:00 +0000 (+0200)
Subject: Properly set __file__ in python bindings (#7867)
X-Git-Tag: cvc5-1.0.0~600
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d36cbc3f805bab13dfd9b4b4849df5ada582b847;p=cvc5.git

Properly set __file__ in python bindings (#7867)

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
---

diff --git a/src/api/python/__init__.py.in b/src/api/python/__init__.py.in
index 8ce03e26d..bbdc87347 100644
--- 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__