François-Xavier Carton 13b13d2280 sci-mathematics/frama-c: fix CFLAGS replacement ...

Closes: https://bugs.gentoo.org/847424
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>

2022-05-31 03:16:28 +02:00

..

aspcud

…

chaco

…

clasp

sci-mathematics/clasp: use https

2022-05-25 21:45:03 +02:00

clingo

sci-mathematics/clingo: enable py3.11

2022-05-28 14:53:33 +02:00

frama-c

sci-mathematics/frama-c: fix CFLAGS replacement

2022-05-31 03:16:28 +02:00

frama-c-aorai

…

frama-c-callgraph

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-constant-folding

…

frama-c-dive

…

frama-c-e-acsl

…

frama-c-eva

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-from

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-impact

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-inout

…

frama-c-instantiate

…

frama-c-loopanalysis

…

frama-c-metrics

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-nonterm

…

frama-c-obfuscator

…

frama-c-occurrence

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-pdg

…

frama-c-postdominators

…

frama-c-printapi

…

frama-c-qed

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-report

…

frama-c-rtegen

…

frama-c-scope

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-security-slicing

…

frama-c-server

…

frama-c-slicing

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-sparecode

…

frama-c-studia

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

frama-c-users

…

frama-c-variadic

…

frama-c-wp

sci-mathematics/frama-c-*: force gtk USE to match frama-c core

2022-05-24 23:30:02 +02:00

lean-mathlib

…

mccs

…

minisat+

…

minisatp

…

packup

…

qepcad

sci-mathematics/qepcad: add subslot

2022-05-28 14:53:30 +02:00

radian

sci-mathematics/radian: bump python

2022-05-29 23:04:53 +02:00

the-omega-project

…