diff options
| author | Josuah Demangeon <me@josuah.net> | 2022-07-08 14:35:40 +0200 |
|---|---|---|
| committer | Josuah Demangeon <me@josuah.net> | 2022-07-15 14:34:10 +0200 |
| commit | b6c0b36c8aa0a181a541a8cc4320ebde938a0fe0 (patch) | |
| tree | 8041e79fdb5dd126509390737459b948844188f1 /src/bdd/extrab/extraBddUnate.c | |
| parent | 5f40c4704f6f2ab027b12c3f61765d8a2090c92a (diff) | |
| download | abc-b6c0b36c8aa0a181a541a8cc4320ebde938a0fe0.tar.gz abc-b6c0b36c8aa0a181a541a8cc4320ebde938a0fe0.tar.bz2 abc-b6c0b36c8aa0a181a541a8cc4320ebde938a0fe0.zip | |
do not include -lrt or -ldl on platform that do not support them
Some platforms were already listed, this includes OpenBSD to the list
and makes it easier to add more.
Diffstat (limited to 'src/bdd/extrab/extraBddUnate.c')
0 files changed, 0 insertions, 0 deletions