Bug 286706 - math/lean4: fix build on FreeBSD 13.5
Summary: math/lean4: fix build on FreeBSD 13.5
Status: New
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Some People
Assignee: Yuri Victorovich
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2025-05-10 03:47 UTC by Chad Jacob Milios
Modified: 2025-05-10 03:47 UTC (History)
0 users

See Also:
bugzilla: maintainer-feedback? (yuri)

Attachments
git -C /usr/ports diff math/lean4 (2.30 KB, patch)
2025-05-10 03:47 UTC, Chad Jacob Milios 		milios: maintainer-approval?
Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Chad Jacob Milios 2025-05-10 03:47:52 UTC 
Created attachment 260308 [details]
git -C /usr/ports diff math/lean4

the most recent port update to lean4 wouldnt build on 13.5 due to lack of clearenv()

i believe this patch provides a suitable stub