summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/Makefile32
l---------src/core/Makefile1
l---------src/knowledge/Makefile1
l---------src/parameters/Makefile1
l---------src/sequence/Makefile1
l---------src/server/Makefile1
6 files changed, 0 insertions, 37 deletions
diff --git a/src/Makefile b/src/Makefile
deleted file mode 100644
index 719b8ea..0000000
--- a/src/Makefile
+++ /dev/null
@@ -1,32 +0,0 @@
-SUBCOMPONENTS = $(dir $(filter-out "./Makefile",$(wildcard ./*/Makefile)))
-SUBCOMPONENTS_EXPORT = $(addsuffix /export.a,$(SUBCOMPONENTS))
-################################################################################
-SRC_FILES = $(wildcard ./*.c)
-OBJ_FILES = $(SRC_FILES:.c=.o)
-DEP_FILES = $(SRC_FILES:.c=.d)
-################################################################################
-build: export.a
-
-export.a: $(OBJ_FILES) $(SUBCOMPONENTS_EXPORT)
- ar -crT $@ $^
-
-$(SUBCOMPONENTS_EXPORT): .JUST_CHECK
- $(MAKE) -C $(dir $@) export.a
-
-clean:
- rm -f $(OBJ_FILES)
- rm -f $(DEP_FILES)
- rm -f export.a
- for subcmp in $(SUBCOMPONENTS) ; do \
- $(MAKE) -C $$subcmp clean ; \
- done
-################################################################################
-%.d: %.c
- @set -e; rm -f $@; \
- $(CC) -M $(CPPFLAGS) $< > $@.$$$$; \
- sed 's,\($*\)\.o[ :]*,\1.o $@ : ,g' < $@.$$$$ > $@; \
- rm -f $@.$$$$
-
-.JUST_CHECK:
-
-include $(DEP_FILES)
diff --git a/src/core/Makefile b/src/core/Makefile
deleted file mode 120000
index d0b0e8e..0000000
--- a/src/core/Makefile
+++ /dev/null
@@ -1 +0,0 @@
-../Makefile \ No newline at end of file
diff --git a/src/knowledge/Makefile b/src/knowledge/Makefile
deleted file mode 120000
index d0b0e8e..0000000
--- a/src/knowledge/Makefile
+++ /dev/null
@@ -1 +0,0 @@
-../Makefile \ No newline at end of file
diff --git a/src/parameters/Makefile b/src/parameters/Makefile
deleted file mode 120000
index d0b0e8e..0000000
--- a/src/parameters/Makefile
+++ /dev/null
@@ -1 +0,0 @@
-../Makefile \ No newline at end of file
diff --git a/src/sequence/Makefile b/src/sequence/Makefile
deleted file mode 120000
index d0b0e8e..0000000
--- a/src/sequence/Makefile
+++ /dev/null
@@ -1 +0,0 @@
-../Makefile \ No newline at end of file
diff --git a/src/server/Makefile b/src/server/Makefile
deleted file mode 120000
index d0b0e8e..0000000
--- a/src/server/Makefile
+++ /dev/null
@@ -1 +0,0 @@
-../Makefile \ No newline at end of file