search

VeriFIT / mata

A fast and simple automata library
MIT License
14 stars 11 forks source link

[Python interface] Build fails with `ModuleNotFoundError: No module named 'cmake'` #408

Open Adda0 opened 3 weeks ago

Adda0 commented 3 weeks ago

Build of Python interface in Google Colaboratory fails with ModuleNotFoundError: No module named 'cmake'.

Reproduce:

Google Colaboratory with !cat /etc/*release:

DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=22.04
DISTRIB_CODENAME=jammy
DISTRIB_DESCRIPTION="Ubuntu 22.04.3 LTS"
PRETTY_NAME="Ubuntu 22.04.3 LTS"
NAME="Ubuntu"
VERSION_ID="22.04"
VERSION="22.04.3 LTS (Jammy Jellyfish)"
VERSION_CODENAME=jammy
ID=ubuntu
ID_LIKE=debian
HOME_URL="https://www.ubuntu.com/"
SUPPORT_URL="https://help.ubuntu.com/"
BUG_REPORT_URL="https://bugs.launchpad.net/ubuntu/"
PRIVACY_POLICY_URL="https://www.ubuntu.com/legal/terms-and-policies/privacy-policy"
UBUNTU_CODENAME=jammy

Run pip install libmata resulting with a pyproject.toml build fails, specifically pip install --force-reinstall -vvv "libmata==1.2.5":

Building libmata library
Traceback (most recent call last):
  File "/usr/local/bin/cmake", line 5, in <module>
    from cmake import cmake
ModuleNotFoundError: No module named 'cmake'
...

Temporary workaround:

pip uninstall cmake
pip install libmata