mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-09 16:55:47 +00:00
Code Activity

Remove including AddOCaml.

Browse source
This commit is contained in:
Weng Shiwei 2025-04-17 21:53:43 -04:00
parent b03efc7c00
commit 7a78bd4a6b
No known key found for this signature in database
GPG key ID: CFB31B6A2D733ADB
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
cmake/modules/FindOCaml.cmake
View file

@ -30,7 +30,6 @@
# OCAML_${pkg}_VERSION
include( FindPackageHandleStandardArgs )
include(AddOCaml)
find_program(OCAMLFIND
NAMES ocamlfind)