ElNiak / PANTHER

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
https://elniak.github.io/PANTHER/
26 stars 3 forks source link

INSTALL ERROR #48

Open plumplumli opened 15 hours ago

plumplumli commented 15 hours ago

Ubuntu release is: Ubuntu 20.04.6 LTS

github-actions[bot] commented 15 hours ago

Thanks for reporting an issue <3

plumplumli commented 15 hours ago

I encountered an issue during the compilation process(running make command).

$ make
...
ERROR   -  mkdocstrings:
           panther.panther_worker.app.implementations.other.get-pip could not be
           found
ERROR   -  Error reading page
           'reference/panther/panther_worker/app/implementations/other/get-pip.md':
ERROR   -  Could not collect
           'panther.panther_worker.app.implementations.other.get-pip'

Aborted with a BuildError!
make: *** [Makefile:14:mkdocs] 错误 1

$ ls panther/panther_worker/app/implementations/other/
get-pip2.7.py  get-pip.py  __pycache__

Here are the dependencies I have already installed.

pre-commit
black
pymdown-extensions
mkdocs-material-extensions
mkdocs-gen-files
mkdocs-literate-nav
mkdocs-section-index
mkdocstrings[python]
mkdocs-exclude
mkdocs-same-dir
mkdocs  # static site generator for documentation in Markdown
mkdocs-material  # Material support for MkDocs
mkdocs-minify-plugin  # strips whitespaces in HTML markdown documentation pages
mkdocs-git-revision-date-localized-plugin  # displays the date of the last git modification of a markdown page
mkdocs-git-authors-plugin  # displays git authors of a markdown page
mkdocs-table-reader-plugin  # enables automatic CSV imports as a table into a markdown page
mkdocs-img2fig-plugin  # converts markdown encoded images to HTML figures
mknotebooks  # enables inclusion of Jupyter notebook in markdown page
mkdocs-awesome-pages-plugin  # enables naive configuration of page titles and their order
mkdocs-enumerate-headings-plugin  # enumerates headings across markdown pages
mkdocs-print-site-plugin  # allows visiters to File > Print > Save as PDF entire markdown documentation
mkgendocs  # generate MkDocs pages from Google-style docstrings of Python functions
markdown-callouts
mkdocs-coverage
mkdocs-material

Here are the commands I executed.

git clone https://github.com/ElNiak/PANTHER.git
git submodule update --init --recursive
pre-commit install
make

How to fix it? Thank you.

pawamoy commented 6 hours ago

Try passing -v to the mkdocs build/serve command to get more logs.