kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/math/z3
History
he b27d6e0702 math/z3: make this build on NetBSD/macppc 9.99.99. 
Fixes two issues:
 * <immintrin.h> is only available on amd64 and i386 (I think...)
 * The scanner depends on signed chars a number of places.  Sprinkle
   "signed" a minimal set of places to make this explicit, to deal
   with powerpc where "char" == "unsigned char".
Bump PKGREVISION.
2022-09-25 11:01:34 +00:00
..
patches math/z3: make this build on NetBSD/macppc 9.99.99. 2022-09-25 11:01:34 +00:00
buildlink3.mk
DESCR
distinfo math/z3: make this build on NetBSD/macppc 9.99.99. 2022-09-25 11:01:34 +00:00
Makefile math/z3: make this build on NetBSD/macppc 9.99.99. 2022-09-25 11:01:34 +00:00
Makefile.common
options.mk
PLIST z3: Portability fixes. 2022-05-13 10:41:38 +00:00