We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
In order to not pollute the name yowasp-yices2, the package created will be named meant-to-be-yowasp-yices2
yowasp-yices2
meant-to-be-yowasp-yices2
Looking at YoWASP/yosys repository, there will be :
pypi
setup.py
__init__.py
In a temporary folder :
python3 -m pdm
The text was updated successfully, but these errors were encountered:
sporniket
No branches or pull requests
In order to not pollute the name
yowasp-yices2
, the package created will be namedmeant-to-be-yowasp-yices2
Looking at YoWASP/yosys repository, there will be :
pypi
folder with the files allowing to glue yices build with WASI sdk and pythonsetup.py
meant-to-be-yowasp-yices2
subfolder, with an initialisation script__init__.py
, holding the creation of the various launcher scriptssetup.py
to infer the version number of the package.Acceptance test
In a temporary folder :
meant-to-be-yowasp-yices2
⇒ describe the patchpython3 -m pdm
The text was updated successfully, but these errors were encountered: