diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2010-12-03 11:26:34 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2010-12-03 11:26:34 +0000 |
commit | 64ed7e705d418aa34d8a14bf1e82f6627d9354a2 (patch) | |
tree | 672f19747773652bb896a392a04ef3ea2048674d /pkgs/build-support/builder-defs | |
parent | 44e152f8d8ede72a1b4e9325dbfc347fa8be8727 (diff) | |
download | nixpkgs-64ed7e705d418aa34d8a14bf1e82f6627d9354a2.tar nixpkgs-64ed7e705d418aa34d8a14bf1e82f6627d9354a2.tar.gz nixpkgs-64ed7e705d418aa34d8a14bf1e82f6627d9354a2.tar.bz2 nixpkgs-64ed7e705d418aa34d8a14bf1e82f6627d9354a2.tar.lz nixpkgs-64ed7e705d418aa34d8a14bf1e82f6627d9354a2.tar.xz nixpkgs-64ed7e705d418aa34d8a14bf1e82f6627d9354a2.tar.zst nixpkgs-64ed7e705d418aa34d8a14bf1e82f6627d9354a2.zip |
Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
Diffstat (limited to 'pkgs/build-support/builder-defs')
-rw-r--r-- | pkgs/build-support/builder-defs/template-auto-callable.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/build-support/builder-defs/template-auto-callable.nix b/pkgs/build-support/builder-defs/template-auto-callable.nix index 769b9c1af76..1ff7ed0a96c 100644 --- a/pkgs/build-support/builder-defs/template-auto-callable.nix +++ b/pkgs/build-support/builder-defs/template-auto-callable.nix @@ -10,6 +10,11 @@ let buildInputs = map (n: builtins.getAttr n x) (builtins.attrNames (builtins.removeAttrs x helperArgNames)); sourceInfo = rec { + baseName="${abort ''Specify package name''}"; + version=""; + name="${baseName}-${version}"; + url="${name}"; + hash=""; }; in rec { @@ -32,6 +37,7 @@ rec { ]; platforms = with a.lib.platforms; (abort "Specify platforms"); + license = "${abort ''Specify license''}"; }; passthru = { updateInfo = { |