Date: Mon, 26 Oct 2015 16:53:25 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 204041] [devel/gdb] [patch] Fixed disabling guile: GUILD=off caused guile not being properly disabled Message-ID: <bug-204041-13@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=204041 Bug ID: 204041 Summary: [devel/gdb] [patch] Fixed disabling guile: GUILD=off caused guile not being properly disabled Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Keywords: patch Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: freebsd-ports-bugs@FreeBSD.org Reporter: yuri@rawbw.com CC: luca.pizzamiglio@gmail.com Keywords: patch CC: luca.pizzamiglio@gmail.com Flags: maintainer-feedback?(luca.pizzamiglio@gmail.com) As it turns out GUILE=on adds --with-guile option, but GUILE=off doesn't add any option, and in such case configure treats it as --with-guile=auto and tries to find an existing guile, which isn't the desired behavior. The attached patch fixes this problem by adding --without-guile for GUILE=off. -- You are receiving this mail because: You are the assignee for the bug.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-204041-13>