tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / libraries / cudd / cudd.patch
at netboot-syslinux-multiplatform 367 B view raw
1diff --git a/Makefile.am b/Makefile.am 2index 45f216a..39c3c82 100644 3--- a/Makefile.am 4+++ b/Makefile.am 5@@ -3,6 +3,9 @@ ACLOCAL_AMFLAGS = -I m4 6 include_HEADERS = cudd/cudd.h 7 if DDDMP 8 include_HEADERS += dddmp/dddmp.h 9+include_HEADERS += util/util.h 10+include_HEADERS += config.h 11+include_HEADERS += mtr/mtr.h 12 endif 13 if OBJ 14 include_HEADERS += cplusplus/cuddObj.hh