21 lines
580 B
Nix
21 lines
580 B
Nix
|
/*
|
||
|
* This file is a nix expression which can be used to get an isolated
|
||
|
* development environemt.
|
||
|
*
|
||
|
* When the nix package manager is installed run
|
||
|
* > nix-shell ./scripts/dev-env.nix
|
||
|
* to get a shell with the dependenies of veriT present. This was only tested
|
||
|
* on NixOS, but should work on other platforms which are supported by the Nix
|
||
|
* packagemanger (such as MacOS X) too.
|
||
|
*/
|
||
|
|
||
|
{ pkgs ? import <nixpkgs> {} }:
|
||
|
|
||
|
pkgs.stdenv.mkDerivation {
|
||
|
name = "hvif-light";
|
||
|
|
||
|
hardeningDisable = [ "all" ];
|
||
|
buildInputs = with pkgs; [ autoconf automake gcc clang-tools ];
|
||
|
|
||
|
}
|