diff options
author | Paulo R. Zanoni <paulo@c3sl.ufpr.br> | 2008-07-15 16:23:08 -0300 |
---|---|---|
committer | Paulo R. Zanoni <paulo@c3sl.ufpr.br> | 2008-07-15 16:23:08 -0300 |
commit | 73b8de8a714135598660417ad7942ee140971350 (patch) | |
tree | 964e13c5b00d69e29f77ce57b71c53debe4e3b71 | |
parent | 7911341504e65cd272318e62b5c10a036941c2fb (diff) |
Add debian-lenny to dependencies/Makefile
-rw-r--r-- | dependencies/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/dependencies/Makefile b/dependencies/Makefile index d8b245c..96da68d 100644 --- a/dependencies/Makefile +++ b/dependencies/Makefile @@ -2,10 +2,18 @@ all: help help: @echo "Select one of the following options:" + @echo " - debian-lenny" + @echo " - debian-lenny-install" @echo " - ubuntu-8.04" @echo " - ubuntu-8.04-install" @echo " - clean" +debian-lenny-install: debian-lenny + @cd debian-lenny && make install + +debian-lenny: debian-lenny/* + @cd debian-lenny && make + ubuntu-8.04-install: ubuntu-8.04 @cd ubuntu-8.04 && make install @@ -14,3 +22,4 @@ ubuntu-8.04: ubuntu-8.04/* clean: @cd ubuntu-8.04 && make clean + @cd debian-lenny && make clean |