diff options
author | dos-reis <gdr@axiomatics.org> | 2010-11-28 18:27:48 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-11-28 18:27:48 +0000 |
commit | a53a740a2a1cb6cbfa58cc79caedd4e947ff1ca0 (patch) | |
tree | 457424993ac0beaa92f79d5304570d9c6f88edfc /src/Makefile.am | |
parent | bbb5a69f0f2348adbbb8db960e5e45306b865683 (diff) | |
download | open-axiom-a53a740a2a1cb6cbfa58cc79caedd4e947ff1ca0.tar.gz |
* clef/: Add using directive at toplevel.
* etc/: Likewise.
* graph/: Likewise.
* hyper/: Likewise.
* lib/: Likewise.
* sman/: Likewise.
* Makefile.am (OA_SMAN_TARGETS): New.
(OA_GRAPHICS_TARGETS): Likewise.
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 60024a43..680b71a1 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -39,13 +39,12 @@ DIST_SUBDIRS = \ oa_targetdir = $(top_builddir)/$(target) -OA_OPTIONAL_TARGETS= if OA_BUILD_SMAN -OA_OPTIONAL_TARGETS += all-sman all-clef +OA_SMAN_TARGETS = all-sman all-clef endif if OA_BUILD_GRAPHICS -OA_OPTIONAL_TARGETS += all-graph +OA_GRAPHICS_TARGETS = all-graph endif @@ -54,7 +53,7 @@ all-local: all-src .PHONY: all-src all-src: all-lib all-utils all-driver all-lisp all-boot \ all-interpsys all-algebra all-axiomsys all-share \ - all-asq all-input all-doc $(OA_OPTIONAL_TARGETS) + all-asq all-input all-doc $(OA_SMAN_TARGETS) $(OA_GRAPHICS_TARGETS) stamp-subdirs: rm -f stamp-subdirs |