Initial commit.

power_fv/__init__.py

@@ -0,0 +1,2 @@
+from importlib import metadata
+__version__ = metadata.version(__package__)

pyproject.toml

@@ -0,0 +1,5 @@
+[build-system]
+requires = ["setuptools>=42", "setuptools_scm[toml]>=3.4"]
+build-backend = "setuptools.build_meta"
+
+[tool.setuptools_scm]

setup.cfg

@@ -0,0 +1,17 @@
+[metadata]
+name = "power-fv"
+description = "An end-to-end formal verification testbench for POWER processors"
+authors = ["Jean-François Nguyen <jf@jfng.fr>"]
+license = "BSD"
+
+[options]
+packages = find:
+python_requires = >=3.8
+install_requires =
+    jinja2~=2.11 # for power_fv.build
+
+[options.packages.find]
+exclude =
+    tests
+    tests.*
+    cores

setup.py

@@ -0,0 +1,6 @@
+from setuptools import setup
+
+if __name__ == "__main__":
+    setup(
+        name="power-fv", # FIXME: (without this, `pip install -e .` fails)
+    )