2011-08-16 19:08:13 +08:00
|
|
|
# Makefile for PWCOND
|
2003-12-02 23:47:00 +08:00
|
|
|
|
2011-08-16 19:08:13 +08:00
|
|
|
default: all
|
2003-12-02 23:47:00 +08:00
|
|
|
|
2011-08-16 19:08:13 +08:00
|
|
|
all:
|
2013-11-07 04:45:58 +08:00
|
|
|
( cd src ; if test "$(MAKE)" = "" ; then make all || exit 1; \
|
|
|
|
|
else $(MAKE) all || exit 1 ; fi )
|
2009-07-23 01:18:42 +08:00
|
|
|
|
2012-08-25 21:44:48 +08:00
|
|
|
clean : clean_examples
|
2011-08-16 19:08:13 +08:00
|
|
|
( cd src ; if test "$(MAKE)" = "" ; then make clean ; \
|
2013-11-07 04:45:58 +08:00
|
|
|
else $(MAKE) clean ; fi )
|
2003-09-24 18:03:55 +08:00
|
|
|
|
2012-08-25 21:44:48 +08:00
|
|
|
clean_examples :
|
2013-11-07 04:45:58 +08:00
|
|
|
( cd examples ; ./clean_all)
|
2012-08-25 21:44:48 +08:00
|
|
|
|
2012-01-20 21:13:27 +08:00
|
|
|
doc:
|
2013-11-07 04:45:58 +08:00
|
|
|
(cd Doc ; if test "$(MAKE)" = "" ; then make all || exit 1 ; \
|
|
|
|
|
else $(MAKE) all || exit 1 ; fi )
|
|
|
|
|
|
2012-01-20 21:13:27 +08:00
|
|
|
doc_clean:
|
2013-11-07 04:45:58 +08:00
|
|
|
(cd Doc ; if test "$(MAKE)" = "" ; then make clean ; \
|
|
|
|
|
else $(MAKE) clean ; fi )
|
2012-01-20 21:13:27 +08:00
|
|
|
|
|
|
|
|
distclean: clean doc_clean
|
2005-08-04 01:00:07 +08:00
|
|
|
|
|
|
|
|
|
2003-12-02 23:47:00 +08:00
|
|
|
|
