Code

cmake: Use FindPython3.#7019

Code

Merged

NikolajBjorner merged 1 commit intoZ3Prover:masterZ3Prover/z3:masterfrom waywardmonkeys:cmake-update-finding-pythonwaywardmonkeys/z3:cmake-update-finding-pythonCopy head branch name to clipboardNov 27, 2023

+18-18

Commits

Commits on Nov 27, 2023

• cmake: Use FindPython3.

  Show description for 316466c
  waywardmonkeys

  committed
  316466c

  Copy full SHA for 316466c