Package Details: cadical 3.0.0-1

Git Clone URL: https://aur.archlinux.org/cadical.git (read-only, click to copy)
Package Base: cadical
Description: Simple CDCL satisfiability solver
Upstream URL: https://fmv.jku.at/cadical/
Licenses: MIT
Submitter: keenerd
Maintainer: meadow
Last Packager: meadow
Votes: 3
Popularity: 0.29
First Submitted: 2019-04-29 03:43 (UTC)
Last Updated: 2025-12-24 00:56 (UTC)

Latest Comments

meadow commented on 2025-11-25 14:27 (UTC) (edited on 2025-11-25 14:28 (UTC) by meadow)

@bluedevil:

It just compiled for me in a clean chroot. Looks to me like you are missing a space in your CFLAGS?

  • ‘-mno-omit-leaf-frame-pointer-Wall’ should be
  • -mno-omit-leaf-frame-pointer -Wall’ ?

bluedevil commented on 2025-11-25 11:40 (UTC)

I cannot compile cadical, here is the error message I got

<snip>

g++ -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions         -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security         -fstack-clash-protection -fcf-protection         -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer-Wall -Wextra -O3 -DNDEBUG -DLOGGING -I../build -I../src -x c -c ../src/kitten.c -o kitten.o
g++: error: unrecognized command-line option ‘-mno-omit-leaf-frame-pointer-Wall’; did you mean ‘-mno-omit-leaf-frame-pointer’?
make[1]: *** [makefile:53: kitten.o] Error 1
make[1]: Leaving directory '/home/reverser/.cache/yay/cadical/src/cadical-rel-2.2.0/build'
make: *** [makefile:3: all] Error 2
==> ERROR: A failure occurred in build().
    Aborting...
 -> error making: cadical-exit status 4
 -> Failed to install the following packages. Manual intervention is required:
cadical - exit status 4