Page MenuHomeFreeBSD
Differential D1256

devel/linux-*-devtools: remove GMP
ClosedPublic
Actions

Authored by xmj on Dec 2 2014, 7:54 PM.
Tags
None
Referenced Files
Unknown Object (File)
Fri, Apr 19, 1:01 PM
Unknown Object (File)
Mar 10 2024, 6:18 PM
Unknown Object (File)
Mar 8 2024, 6:51 PM
Unknown Object (File)
Dec 30 2023, 4:39 PM
Unknown Object (File)
Dec 30 2023, 4:38 PM
Unknown Object (File)
Dec 20 2023, 1:05 AM
Unknown Object (File)
Dec 4 2023, 4:23 PM
Unknown Object (File)
Dec 4 2023, 4:23 PM
View All 95 Files
Subscribers
None

Details

Reviewers
swills
koobs
Summary
devel/linux-*-devtools: remove GMP

With GMP in linux_base-* remove its occurrence in the devtools port.

Spotted by:	antoine
Approved by:	swills (mentor)
Test Plan

http://xmj.me/freebsd/buildlogs/linux-c6-devtools-6.6_1.log
http://xmj.me/freebsd/buildlogs/linux-f10-devtools-10_2.log

Diff Detail

Repository
rP FreeBSD ports repository
Lint
No Lint Coverage
Unit
No Test Coverage

Event Timeline

xmj updated this revision to Diff 2607.Dec 2 2014, 7:54 PM
xmj retitled this revision from to devel/linux-*-devtools: remove GMP.
xmj updated this object.
xmj edited the test plan for this revision. (Show Details)
xmj added reviewers: swills, koobs.Dec 2 2014, 7:54 PM
swills accepted this revision.Dec 2 2014, 8:40 PM
swills edited edge metadata.

Approved

This revision is now accepted and ready to land.Dec 2 2014, 8:40 PM
xmj closed this revision.Dec 2 2014, 9:04 PM

Committed revision 373783.

Revision Contents
Changeset List

PathSize
devel/
linux-c6-devtools/
3 lines
16 lines
linux-f10-devtools/
4 lines
16 lines

Diff 2607

View Options

devel/linux-c6-devtools/Makefile

Loading...
View Options

devel/linux-c6-devtools/pkg-plist

Loading...
View Options

devel/linux-f10-devtools/Makefile

Loading...
View Options

devel/linux-f10-devtools/pkg-plist

Loading...