[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42761: 28.0.50; [feature/native-comp] allow customizing command line
From: |
Andrea Corallo |
Subject: |
bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options? |
Date: |
Thu, 20 Aug 2020 16:43:50 +0000 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Andreas Fuchs <asf@boinkor.net> writes:
> Ah! That's a good point about users being unable to tell if their
> options will work until they try to compile.
>
> I would like to keep the driver-option setting interface as a
> variable holding a list, as that still allows users to edit them with
> the emacs-provided functions to do so. With a function accessor, we'd
> have to add functions to add/remove/map over/etc the options, which
> emacs already provides with `add-to-list' and friends.
>
> I think we could expose a predicate
> `comp-native-driver-options-available-p' that'll return t if the
> necessary facility exists.
>
> For some extra credit, maybe we could even have that predicate test
> whether a given set of driver options has a chance of succeeding (I
> guess that this would have to attempt a no-op compile to exercise the
> compiler->linker chain). A predicate to test for compatibility would
> be the nicest and would fit the bill well, though.
Mmhh I guess a third way would be to expose a function the return a list
of all the available and effective features (ATM we have also
`comp-libgccjit-version').
Dunno, unless somebody has some formed opinion I'm fine also with
exposing for now `comp-native-driver-options-available-p'.
Andrea
--
akrl@sdf.org
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, (continued)
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andrea Corallo, 2020/08/08
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andreas Fuchs, 2020/08/08
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andrea Corallo, 2020/08/08
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andreas Fuchs, 2020/08/08
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andrea Corallo, 2020/08/09
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andreas Fuchs, 2020/08/10
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andrea Corallo, 2020/08/13
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andreas Fuchs, 2020/08/19
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andrea Corallo, 2020/08/19
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andreas Fuchs, 2020/08/20
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?,
Andrea Corallo <=
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andreas Fuchs, 2020/08/22
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andrea Corallo, 2020/08/24
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andreas Fuchs, 2020/08/26
- bug#42761: 28.0.50; [feature/native-comp] allow customizing command line/driver options?, Andrea Corallo, 2020/08/26