openkylin
/
z3
mirror of https://gitee.com/openkylin/z3.git
9
0
Fork 1
Code Issues Projects Releases Wiki Activity

增加架构判断

This commit is contained in:
lundi001 2024-03-14 07:40:18 +00:00
parent fd95bb3b66
commit cc43338131
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
debian/changelog vendored
View File

@ -1,3 +1,9 @@
z3 (4.8.7-ok2) yangtze; urgency=medium
*if arch == rv64g export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed -Wl,-latomic -Wl,--as-needed
-- root <zhouningyi@smart-core.cn> Thu, 14 Mar 2024 07:36:38 +0000
z3 (4.8.7-ok1) yangtze; urgency=medium
* Build for openKylin.

4
debian/rules vendored
View File

@ -6,6 +6,10 @@
export DEB_BUILD_MAINT_OPTIONS = hardening=+all
export DEB_CXXFLAGS_MAINT_APPEND = -fPIC
ifeq ($(DEB_HOST_ARCH),rv64g)
export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed -Wl,-latomic -Wl,--as-needed
endif
DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH)
ifneq (,$(shell dh_listpackages -a | grep libz3-jni))