François-Xavier Carton
d41b48be87
sci-mathematics/frama-c: force gtk3
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2023-04-09 01:51:19 +02:00
François-Xavier Carton
323d2476f1
sci-mathematics/frama-c: bump to 25.0
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2022-08-19 19:30:31 +02:00
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
François-Xavier Carton
e9083b7690
sci-mathematics/frama-c-*: force gtk USE to match frama-c core
...
Having frama-c[gtk] can cause problems if there are plugins compiled
with [-gtk]. It can also cause runtime issues.
Closes: https://bugs.gentoo.org/817314
Closes: https://bugs.gentoo.org/817365
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2022-05-24 23:30:02 +02:00
François-Xavier Carton
6f826a3a6d
sci-mathematics/frama-c: better fix for flags issue
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2022-05-24 23:30:01 +02:00
François-Xavier Carton
86ecc49dcb
sci-mathematics/frama-c: respect CFLAGS
...
Closes: https://bugs.gentoo.org/840559
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2022-05-24 23:30:00 +02:00
François-Xavier Carton
6e6f034d42
sci-mathematics/frama-c-wp: add why3<1.5.0 restriction
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2022-05-07 19:46:34 +02:00
François-Xavier Carton
d79091d437
sci-mathematics/frama-c: bump to 24.0
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2022-01-13 21:35:58 +01:00
François-Xavier Carton
e721c2b1bd
sci-mathematics/frama-c-wp: add missing variable
...
Closes: https://bugs.gentoo.org/817368
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2022-01-13 21:35:57 +01:00
François-Xavier Carton
4962103953
sci-mathematics/why3: update SRC_URI
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-10-01 15:07:43 +02:00
François-Xavier Carton
6bd2366827
sci-mathematics/why3: no need to die with emake
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-09-04 15:07:40 +02:00
François-Xavier Carton
dab2150f98
sci-mathematics/frama-c: split plugins from main ebuild
...
USE flags are not meant for this (causing recompilation of everything
when changing plugins configuration). In addition, this solves the
problem of the main frama-c ebuild having too much USE flags.
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-09-04 15:07:39 +02:00
François-Xavier Carton
00378c5361
sci-mathematics/frama-c: bump to 23.1
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-09-04 15:07:38 +02:00
François-Xavier Carton
0b1fcb2dc0
sci-mathematics/frama-c: respect CFLAGS
...
Closes: https://bugs.gentoo.org/781647
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-04-19 03:15:32 +02:00
François-Xavier Carton
556d223d1e
sci-mathematics/why3: respect CFLAGS & LDFLAGS
...
Closes: https://bugs.gentoo.org/781650
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-04-19 03:15:31 +02:00
François-Xavier Carton
9f99717f90
sci-mathematics/frama-c: doesn't build with why3-1.4.0
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-03-30 21:51:52 +02:00
François-Xavier Carton
42c0da6a66
sci-mathematics/why3: bump to 1.4.0
...
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-03-30 21:32:21 +02:00
François-Xavier Carton
1fe1afafb8
sci-mathematics/frama-c: new package
...
This is a bump of version in ::science.
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-01-09 17:46:15 +01:00
François-Xavier Carton
8774c3bacb
sci-mathematics/why3: new package
...
This is a bump from the version in ::science.
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com >
2021-01-09 17:44:42 +01:00
