]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/meta/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / hbugs / meta / Makefile
1 META = META.hbugs-common META.hbugs-thread-safe META.hbugs-client
2 all: $(META)
3 opt:
4 META.hbugs-common: META.hbugs-common.in
5         sed 's%@HBUGS_COMMON_DIR@%$(CURDIR)/../common%' < $< > $@
6 META.hbugs-thread-safe: META.hbugs-thread-safe.in
7         sed 's%@HBUGS_COMMON_DIR@%$(CURDIR)/../common%' < $< > $@
8 META.hbugs-client: META.hbugs-client.in
9         sed 's%@HBUGS_CLIENT_DIR@%$(CURDIR)/../client%' < $< > $@
10 clean:
11         rm -f $(META)
12 distclean: clean