disable native compiler on non-mainstream arches
Enrico Tassi
8 years ago
|
0 |
coq (8.5~beta2+dfsg-2) experimental; urgency=medium
|
|
1 |
|
|
2 |
* Enable native compiler only on amd64 and i386
|
|
3 |
|
|
4 |
-- Enrico Tassi <gareuselesinge@debian.org> Mon, 20 Jul 2015 09:51:21 +0200
|
|
5 |
|
| 0 | 6 |
coq (8.5~beta2+dfsg-1) experimental; urgency=medium
|
| 1 | 7 |
|
| 2 | 8 |
* New upstream release
|
| 24 | 24 |
COQ_VERSION := 8.5beta2
|
| 25 | 25 |
COQ_ABI := $(COQ_VERSION)+$(OCAML_ABI)
|
| 26 | 26 |
|
|
27 |
ARCH := $(shell dpkg-architecture -q DEB_TARGET_ARCH)
|
|
28 |
ifeq ($(ARCH),$(filter $(ARCH),amd64 i386))
|
|
29 |
NATIVE_COMPUTE :=
|
|
30 |
else
|
|
31 |
NATIVE_COMPUTE := -no-native-compiler
|
|
32 |
endif
|
|
33 |
|
| 27 | 34 |
CONFIGUREOPTS := -arch Linux -prefix /usr -mandir /usr/share/man \
|
| 28 | 35 |
-configdir /etc/xdg/coq \
|
| 29 | 36 |
-emacslib /usr/share/emacs/site-lisp/coq \
|
| 30 | 37 |
-browser "/usr/bin/x-www-browser %s &" \
|
| 31 | 38 |
-with-doc no \
|
| 32 | |
-debug
|
|
39 |
-debug \
|
|
40 |
$(NATIVE_COMPUTE)
|
| 33 | 41 |
|
| 34 | 42 |
export OCAMLINIT_SED += \
|
| 35 | 43 |
-e 's%@CoqVersion@%$(COQ_VERSION)%' \
|