Bug 1724142 - cvc4 fails to build with Python 3.8
Summary: cvc4 fails to build with Python 3.8
Keywords:
Status: CLOSED NEXTRELEASE
Alias: None
Product: Fedora
Classification: Fedora
Component: cvc4
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
high
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: PYTHON38
TreeView+ depends on / blocked
 
Reported: 2019-06-26 10:48 UTC by Miro Hrončok
Modified: 2019-07-01 04:02 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2019-07-01 04:02:49 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Miro Hrončok 2019-06-26 10:48:07 UTC 
cvc4 fails to build with Python 3.8.0b1.

The error is:

/builddir/build/BUILD/CVC4-1.7/src/bindings/python/CMakeFiles/_CVC4.dir/cvc4PYTHON_wrap.cxx:178:11: fatal error: Python.h: No such file or directory
  178 | # include <Python.h>
      |           ^~~~~~~~~~

For the build logs, see:
https://copr-be.cloud.fedoraproject.org/results/@python/python3.8/fedora-rawhide-x86_64/00944309-cvc4/

For all our attempts to build cvc4 with Python 3.8, see:
https://copr.fedorainfracloud.org/coprs/g/python/python3.8/package/cvc4/

Testing and mass rebuild of packages is happening in copr. You can follow these instructions to test locally in mock if your package builds with Python 3.8:
https://copr.fedorainfracloud.org/coprs/g/python/python3.8/

Let us know here if you have any questions.
Comment 1 Jerry James 2019-07-01 04:02:49 UTC 
Fixed in Rawhide.
Note You need to log in before you can comment on or make changes to this bug.