Subject: [Syfi-dev] `ginac-config' versus `pkg-config ginac'

From: Jed Brown <[email-masked]>
Date: Sun, 29 Jul 2007 17:11:42 +0200

On Debian, `libginac-dev' uses pkg-config, so there is no `ginac-config'
executable.  I tricked autoconf with the following, but perhaps autoconf
should try using pkg-config.

| $ cat ~/usr/bin/ginac-config
| #!/bin/bash
|
| opts=$(echo $* | sed 's/--version/--modversion/g' | sed 's/--cppflags/--cflags/g')
| pkg-config ginac $opts

Jed