1 files changed, 41 insertions, 0 deletions
diff --git a/src/auxiliaryFunctions/sign/Makefile b/src/auxiliaryFunctions/sign/Makefile
new file mode 100644
index 00000000..d6d1dd7d
--- /dev/null
+++ b/src/auxiliaryFunctions/sign/Makefile
@@ -0,0 +1,41 @@
+##
+##  -*- makefile -*-
+##
+## Makefile
+## Made by  Bruno JOFRET <bruno.jofret@inria.fr>
+##
+## Started on  Thu Nov 30 16:33:40 2006 jofret
+## Last update Thu Feb  8 10:11:59 2007 jofret
+##
+## Copyright INRIA 2006
+##
+
+NAME	=	../../lib/libSign.a
+
+RM	=	rm -f
+CC	=	gcc
+INCLUDE	=	../../type
+LINK	=	../../lib
+CFLAGS	=	-Werror -Wall -pedantic -ansi -I $(INCLUDE) -L $(LINK) $(STANDARD)
+AR	=	ar cru
+RANLIB	=	ranlib
+
+SRC	=	ssigns.c \
+		dsigns.c
+
+HEAD	=	sign.h
+OBJ	=	$(SRC:.c=.o)
+
+all: $(NAME)
+
+$(NAME) : $(HEAD) $(OBJ)
+	$(AR) $@ $(OBJ)
+	$(RANLIB) $@
+
+clean:
+	$(RM) $(OBJ)
+
+distclean: clean
+	$(RM) $(NAME)
+
+re: clean all