You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
632 B
20 lines
632 B
/* |
|
* 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 gdb valgrind-light pkg-config cairo doxygen libtool ]; |
|
|
|
}
|
|
|