BACKGROUND NOTE:
I have a local headless git server (a jail on my server running git) which I normally push/pull to/from.
I created a tool, and I was nudged to create a port for it, and I started exploring the porter's handbook. I believe I have a fairly good handle on what my port's makefile...
Hi,
I'm trying to build my first port. It needs devel/gprbuild to build. This gets installed fine however devel/gprbuild is not reachable in the current PATH and the port fails to find it. It installs it at
/usr/local/gnat12/bin/
===> Installing for gprbuild-24.0.0,1
===> Checking if...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.