diff options
Diffstat (limited to 'src/share/Makefile.in')
-rw-r--r-- | src/share/Makefile.in | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/share/Makefile.in b/src/share/Makefile.in new file mode 100644 index 00000000..b6b369b8 --- /dev/null +++ b/src/share/Makefile.in @@ -0,0 +1,24 @@ +subdir = src/share/ + +FILES=$(axiom_target_libdir)/command.list + +.SUFFIXES: +.PHONY: all all-share +all: all-ax + +all-ax all-share: stamp + @ echo 3 finished $(srcdir) + +stamp: ${FILES} + -rm -f stamp + $(STAMP) stamp + +mostlyclean-local: + @-rm -f $(FILES) + @-rm -f stamp + +clean-local: mostlyclean-local +distclean-local: clean-local + +$(axiom_target_libdir)/command.list: $(srcdir)/algebra/command.list + $(INSTALL_DATA) $< $@ |