syfi team mailing list archive

[Jed Brown <fenics@xxxxxxxx>]

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

Attachment: pgpEeLJoAEsyX.pgp
Description: PGP signature