2016-02-09 20:28:29 +00:00
# pragma once
2019-10-14 12:40:16 +00:00
# include "installables.hh"
2016-02-09 20:28:29 +00:00
# include "args.hh"
2017-10-24 10:45:11 +00:00
# include "common-eval-args.hh"
2019-12-05 18:11:09 +00:00
# include "path.hh"
2020-01-29 13:57:57 +00:00
# include "flake/lockfile.hh"
2019-10-14 12:40:16 +00:00
2019-03-21 08:30:16 +00:00
# include <optional>
2016-02-09 20:28:29 +00:00
namespace nix {
2018-01-31 15:14:47 +00:00
extern std : : string programPath ;
2017-04-25 10:06:32 +00:00
class EvalState ;
2019-11-08 14:13:32 +00:00
struct Pos ;
2016-02-09 20:28:29 +00:00
class Store ;
2019-05-29 13:31:07 +00:00
2019-10-27 17:45:02 +00:00
/* A command that requires a Nix store. */
2016-02-09 20:28:29 +00:00
struct StoreCommand : virtual Command
{
2016-03-21 17:03:36 +00:00
StoreCommand ( ) ;
2016-02-09 20:28:29 +00:00
void run ( ) override ;
2017-04-25 09:20:37 +00:00
ref < Store > getStore ( ) ;
2017-03-16 13:25:54 +00:00
virtual ref < Store > createStore ( ) ;
2016-02-09 20:28:29 +00:00
virtual void run ( ref < Store > ) = 0 ;
2017-04-25 09:20:37 +00:00
private :
std : : shared_ptr < Store > _store ;
2016-02-09 20:28:29 +00:00
} ;
2019-05-16 20:48:16 +00:00
struct EvalCommand : virtual StoreCommand , MixEvalArgs
{
ref < EvalState > getEvalState ( ) ;
std : : shared_ptr < EvalState > evalState ;
} ;
2019-05-22 11:46:07 +00:00
struct MixFlakeOptions : virtual Args
2017-04-25 10:06:32 +00:00
{
2020-01-29 13:57:57 +00:00
flake : : LockFlags lockFlags ;
2019-05-22 11:46:07 +00:00
MixFlakeOptions ( ) ;
} ;
struct SourceExprCommand : virtual Args , EvalCommand , MixFlakeOptions
{
std : : optional < Path > file ;
2019-11-26 23:05:30 +00:00
std : : optional < std : : string > expr ;
2019-05-22 11:46:07 +00:00
SourceExprCommand ( ) ;
2019-05-14 09:34:45 +00:00
2019-04-08 14:11:17 +00:00
std : : vector < std : : shared_ptr < Installable > > parseInstallables (
ref < Store > store , std : : vector < std : : string > ss ) ;
std : : shared_ptr < Installable > parseInstallable (
ref < Store > store , const std : : string & installable ) ;
Support non-x86_64-linux system types in flakes
A command like
$ nix run nixpkgs#hello
will now build the attribute 'packages.${system}.hello' rather than
'packages.hello'. Note that this does mean that the flake needs to
export an attribute for every system type it supports, and you can't
build on unsupported systems. So 'packages' typically looks like this:
packages = nixpkgs.lib.genAttrs ["x86_64-linux" "i686-linux"] (system: {
hello = ...;
});
The 'checks', 'defaultPackage', 'devShell', 'apps' and 'defaultApp'
outputs similarly are now attrsets that map system types to
derivations/apps. 'nix flake check' checks that the derivations for
all platforms evaluate correctly, but only builds the derivations in
'checks.${system}'.
Fixes #2861. (That issue also talks about access to ~/.config/nixpkgs
and --arg, but I think it's reasonable to say that flakes shouldn't
support those.)
The alternative to attribute selection is to pass the system type as
an argument to the flake's 'outputs' function, e.g. 'outputs = { self,
nixpkgs, system }: ...'. However, that approach would be at odds with
hermetic evaluation and make it impossible to enumerate the packages
provided by a flake.
2019-10-15 15:52:10 +00:00
virtual Strings getDefaultFlakeAttrPaths ( ) ;
2019-06-17 14:58:59 +00:00
Support non-x86_64-linux system types in flakes
A command like
$ nix run nixpkgs#hello
will now build the attribute 'packages.${system}.hello' rather than
'packages.hello'. Note that this does mean that the flake needs to
export an attribute for every system type it supports, and you can't
build on unsupported systems. So 'packages' typically looks like this:
packages = nixpkgs.lib.genAttrs ["x86_64-linux" "i686-linux"] (system: {
hello = ...;
});
The 'checks', 'defaultPackage', 'devShell', 'apps' and 'defaultApp'
outputs similarly are now attrsets that map system types to
derivations/apps. 'nix flake check' checks that the derivations for
all platforms evaluate correctly, but only builds the derivations in
'checks.${system}'.
Fixes #2861. (That issue also talks about access to ~/.config/nixpkgs
and --arg, but I think it's reasonable to say that flakes shouldn't
support those.)
The alternative to attribute selection is to pass the system type as
an argument to the flake's 'outputs' function, e.g. 'outputs = { self,
nixpkgs, system }: ...'. However, that approach would be at odds with
hermetic evaluation and make it impossible to enumerate the packages
provided by a flake.
2019-10-15 15:52:10 +00:00
virtual Strings getDefaultFlakeAttrPathPrefixes ( ) ;
2017-07-17 17:02:56 +00:00
} ;
2017-09-10 13:58:30 +00:00
enum RealiseMode { Build , NoBuild , DryRun } ;
2017-07-17 17:02:56 +00:00
/* A command that operates on a list of "installables", which can be
store paths , attribute paths , Nix expressions , etc . */
struct InstallablesCommand : virtual Args , SourceExprCommand
{
std : : vector < std : : shared_ptr < Installable > > installables ;
InstallablesCommand ( )
{
expectArgs ( " installables " , & _installables ) ;
}
2017-04-25 10:06:32 +00:00
void prepare ( ) override ;
2019-04-19 14:07:37 +00:00
virtual bool useDefaultInstallables ( ) { return true ; }
2017-04-25 10:06:32 +00:00
private :
2017-10-24 10:45:11 +00:00
std : : vector < std : : string > _installables ;
2017-04-25 10:06:32 +00:00
} ;
2019-10-27 17:45:02 +00:00
/* A command that operates on exactly one "installable" */
2017-08-29 14:18:00 +00:00
struct InstallableCommand : virtual Args , SourceExprCommand
{
std : : shared_ptr < Installable > installable ;
InstallableCommand ( )
{
2019-04-19 14:07:37 +00:00
expectArg ( " installable " , & _installable , true ) ;
2017-08-29 14:18:00 +00:00
}
void prepare ( ) override ;
private :
2019-12-14 22:15:36 +00:00
std : : string _installable { " . " } ;
2017-08-29 14:18:00 +00:00
} ;
2017-04-25 11:20:26 +00:00
/* A command that operates on zero or more store paths. */
struct StorePathsCommand : public InstallablesCommand
{
private :
bool recursive = false ;
bool all = false ;
2018-03-29 22:56:13 +00:00
protected :
RealiseMode realiseMode = NoBuild ;
2017-04-25 11:20:26 +00:00
public :
2017-09-27 16:28:54 +00:00
StorePathsCommand ( bool recursive = false ) ;
2017-04-25 11:20:26 +00:00
using StoreCommand : : run ;
2019-12-05 18:11:09 +00:00
virtual void run ( ref < Store > store , std : : vector < StorePath > storePaths ) = 0 ;
2017-04-25 11:20:26 +00:00
void run ( ref < Store > store ) override ;
2019-04-19 14:07:37 +00:00
bool useDefaultInstallables ( ) override { return ! all ; }
2017-04-25 11:20:26 +00:00
} ;
2017-05-04 12:16:26 +00:00
/* A command that operates on exactly one store path. */
struct StorePathCommand : public InstallablesCommand
{
using StoreCommand : : run ;
2019-12-05 18:11:09 +00:00
virtual void run ( ref < Store > store , const StorePath & storePath ) = 0 ;
2017-05-04 12:16:26 +00:00
void run ( ref < Store > store ) override ;
} ;
2016-02-09 20:28:29 +00:00
/* A helper class for registering commands globally. */
struct RegisterCommand
{
2019-06-18 14:01:35 +00:00
static Commands * commands ;
2016-02-09 20:28:29 +00:00
2019-06-18 14:01:35 +00:00
RegisterCommand ( const std : : string & name ,
std : : function < ref < Command > ( ) > command )
2016-02-09 20:28:29 +00:00
{
2019-06-18 14:01:35 +00:00
if ( ! commands ) commands = new Commands ;
commands - > emplace ( name , command ) ;
2016-02-09 20:28:29 +00:00
}
} ;
2019-06-18 14:01:35 +00:00
template < class T >
static RegisterCommand registerCommand ( const std : : string & name )
{
return RegisterCommand ( name , [ ] ( ) { return make_ref < T > ( ) ; } ) ;
}
2018-02-09 15:42:32 +00:00
Buildables build ( ref < Store > store , RealiseMode mode ,
2017-09-10 13:58:30 +00:00
std : : vector < std : : shared_ptr < Installable > > installables ) ;
2019-12-05 18:11:09 +00:00
std : : set < StorePath > toStorePaths ( ref < Store > store , RealiseMode mode ,
2017-09-10 13:58:30 +00:00
std : : vector < std : : shared_ptr < Installable > > installables ) ;
2019-12-05 18:11:09 +00:00
StorePath toStorePath ( ref < Store > store , RealiseMode mode ,
2017-09-10 13:58:30 +00:00
std : : shared_ptr < Installable > installable ) ;
2019-12-05 18:11:09 +00:00
std : : set < StorePath > toDerivations ( ref < Store > store ,
Add "nix show-derivation"
This debug command prints a store derivation in JSON format. For
example:
$ nix show-derivation nixpkgs.hello
{
"/nix/store/ayjwpwwiyy04nh9z71rsdgd3q7bra7ch-hello-2.10.drv": {
"outputs": {
"out": {
"path": "/nix/store/w5w4v29ql0qwqhczkdxs94ix2lh7ibgs-hello-2.10"
}
},
"inputSrcs": [
"/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh"
],
"inputDrvs": {
"/nix/store/13839aqdf6x4k3b785rw5f2l7857l6y3-bash-4.4-p12.drv": [
"out"
],
"/nix/store/vgdx7fdc7d4iirmnwj2py1nrvr5qwzj7-hello-2.10.tar.gz.drv": [
"out"
],
"/nix/store/x3kkd0vsqfflbvwf1055l9mr39bg0ms0-stdenv.drv": [
"out"
]
},
"platform": "x86_64-linux",
"builder": "/nix/store/qp5fw57d38bd1n07ss4zxh88zg67c3vg-bash-4.4-p12/bin/bash",
"args": [
"-e",
"/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh"
],
"env": {
"buildInputs": "",
"builder": "/nix/store/qp5fw57d38bd1n07ss4zxh88zg67c3vg-bash-4.4-p12/bin/bash",
"configureFlags": "",
"doCheck": "1",
"name": "hello-2.10",
"nativeBuildInputs": "",
"out": "/nix/store/w5w4v29ql0qwqhczkdxs94ix2lh7ibgs-hello-2.10",
"propagatedBuildInputs": "",
"propagatedNativeBuildInputs": "",
"src": "/nix/store/3x7dwzq014bblazs7kq20p9hyzz0qh8g-hello-2.10.tar.gz",
"stdenv": "/nix/store/6zngq1rdh0ans9qyckqimqibgnlvlfrm-stdenv",
"system": "x86_64-linux"
}
}
}
This removes the need for pp-aterm.
2017-09-25 11:43:35 +00:00
std : : vector < std : : shared_ptr < Installable > > installables ,
bool useDeriver = false ) ;
2019-11-08 14:13:32 +00:00
/* Helper function to generate args that invoke $EDITOR on
filename : lineno . */
Strings editorFor ( const Pos & pos ) ;
2020-03-30 17:14:17 +00:00
struct MixProfile : virtual StoreCommand
2019-07-12 13:32:17 +00:00
{
std : : optional < Path > profile ;
MixProfile ( ) ;
/* If 'profile' is set, make it point at 'storePath'. */
2019-12-11 13:53:30 +00:00
void updateProfile ( const StorePath & storePath ) ;
2019-07-12 13:32:17 +00:00
/* If 'profile' is set, make it point at the store path produced
by ' buildables ' . */
void updateProfile ( const Buildables & buildables ) ;
} ;
2019-10-21 22:21:58 +00:00
struct MixDefaultProfile : MixProfile
{
MixDefaultProfile ( ) ;
} ;
2019-11-07 23:16:48 +00:00
struct MixEnvironment : virtual Args {
StringSet keep , unset ;
Strings stringsEnv ;
std : : vector < char * > vectorEnv ;
bool ignoreEnvironment ;
MixEnvironment ( ) ;
/* Modify global environ based on ignoreEnvironment, keep, and unset. It's expected that exec will be called before this class goes out of scope, otherwise environ will become invalid. */
void setEnviron ( ) ;
} ;
2016-02-09 20:28:29 +00:00
}