summary refs log tree commit diff
path: root/pkgs/applications/science/logic/leo3
Commit message (Collapse)AuthorAge
* leo3-bin: deprecate phasesFelix Buehler2021-07-14
|
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
|
* leo3: fix executableGabriel Ebner2020-09-19
|
* treewide: use runtimeShell instead of stdenv.shell whenever possibleJörg Thalheim2019-02-26
| | | | | | | | | Whenever we create scripts that are installed to $out, we must use runtimeShell in order to get the shell that can be executed on the machine we create the package for. This is relevant for cross-compiling. The only use case for stdenv.shell are scripts that are executed as part of the build system. Usages in checkPhase are borderline however to decrease the likelyhood of people copying the wrong examples, I decided to use runtimeShell as well.
* leo3: init at 1.2Michael Raskin2019-01-27