diff options
| author | tv <tv@shackspace.de> | 2015-02-20 13:00:21 +0100 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-02-20 13:00:21 +0100 |
| commit | 1d7180131cbd90c1fd8ca120bfafd96fdcce00e2 (patch) | |
| tree | 8ae9e1620eeb707a457e6ddeb51b500b255ede0b /Makefile | |
| parent | 42547dc1c81411c9ae6ffa62d00249060b48021b (diff) | |
make install: initial commit
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..e07ff6f --- /dev/null +++ b/Makefile @@ -0,0 +1,11 @@ + +.PHONY: all +all: + +.PHONY: clean +clean: + @find -maxdepth 1 -type f \( -name \*.o -o -name \*.hi \) -exec rm -v \{\} \; + +.PHONY: install +install: + nix-env --arg target "$$(cabal2nix .)" -f install.nix -i |