[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/coccinelle][master] Disable native code compilation on armhf (Closes: #1049958) and riscv64

Title: GitLab

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coccinelle

Commits:

  • a07bdb2d
    by Stephane Glondu at 2023-08-17T13:35:02+02:00 
    Disable native code compilation on armhf (Closes: #1049958) and riscv64

2 changed files:

Changes:

  • debian/changelog
    1 
    +coccinelle (1.1.1.deb-4) unstable; urgency=medium
    2 
    +
    3 
    +  * Team upload
    4 
    +  * Disable native code compilation on armhf (Closes: #1049958) and
    5 
    +    riscv64
    6 
    +
    7 
    + -- Stéphane Glondu <glondu@debian.org>  Thu, 17 Aug 2023 13:35:00 +0200
    8 
    +
    1 9 
     coccinelle (1.1.1.deb-3) unstable; urgency=medium
    2 10
    3 11 
       [ Stéphane Glondu ]

  • debian/rules
    ... ... @@ -11,7 +11,13 @@ VIM_RDIR = $(CURDIR)/debian/coccinelle/usr/share/vim/registry
    11 11 
     CONFIG_FLAGS = --prefix=/usr --sysconfdir=/etc --libdir=/usr/lib \
    12 12 
       --enable-ocaml --enable-python --with-python=python3
    13 13
    14 
    -ifeq ($(OCAML_NATDYNLINK),yes)
    14 
    +ifeq ($(DEB_BUILD_ARCH),armhf)
    15 
    +# Native code uses too much memory, see #1049958
    16 
    +CONFIG_FLAGS += --disable-opt
    17 
    +else ifeq ($(DEB_BUILD_ARCH),riscv64)
    18 
    +# Native code compilation segfaults
    19 
    +CONFIG_FLAGS += --disable-opt
    20 
    +else ifeq ($(OCAML_NATDYNLINK),yes)
    15 21 
     CONFIG_FLAGS += --enable-opt
    16 22 
     else
    17 23 
     CONFIG_FLAGS += --disable-opt

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help

    Reply to: