forked from RobotLocomotion/drake
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request RobotLocomotion#7969 from jamiesnape/homebrew-pkg-…
…config Add Homebrew opt prefix paths to PKG_CONFIG_PATH
- Loading branch information
Showing
13 changed files
with
127 additions
and
33 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -5,16 +5,25 @@ load( | |
"pkg_config_repository", | ||
) | ||
|
||
def dreal_repository(name, modname = "dreal", **kwargs): | ||
pkg_config_repository(name = name, | ||
modname = modname, | ||
# Since dReal and its dependency IBEX are installed | ||
# under `/opt/<package_name>/<version_number>/`, it | ||
# is necessary to keep the following versions in | ||
# sync with the ones in | ||
# `setup/ubuntu/16.04/install_prereqs.sh` script. | ||
pkg_config_paths = [ | ||
"/opt/dreal/4.18.01.3/lib/pkgconfig", | ||
"/opt/libibex/2.6.5/share/pkgconfig", | ||
], | ||
**kwargs) | ||
def dreal_repository( | ||
name, | ||
modname = "dreal", | ||
# Since dReal and its dependency IBEX are installed under | ||
# `/opt/<package_name>/<version_number>/`, it is necessary to keep the | ||
# following versions in sync with the ones in | ||
# `setup/ubuntu/16.04/install_prereqs.sh` script. | ||
pkg_config_paths = [ | ||
"/opt/dreal/4.18.01.3/lib/pkgconfig", | ||
"/opt/libibex/2.6.5/share/pkgconfig", | ||
"/usr/local/opt/clp/lib/pkgconfig", | ||
"/usr/local/opt/coinutils/lib/pkgconfig", | ||
"/usr/local/opt/dreal/lib/pkgconfig", | ||
"/usr/local/opt/[email protected]/share/pkgconfig", | ||
"/usr/local/opt/nlopt/lib/pkgconfig", | ||
], | ||
**kwargs): | ||
pkg_config_repository( | ||
name = name, | ||
modname = modname, | ||
pkg_config_paths = pkg_config_paths, | ||
**kwargs) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters