CXX = gcc
CXXFLAGS = -O3 -ansi
LFLAGS =

SRCS = defs.c inout.c fof.c rules.c ground.c  encoding.c main.c

OBJS = $(SRCS:.c=.o)
 
rsa2fml:
	cat $(SRCS) > final.c
	$(CXX) $(LFLAGS) -o rsa2fml final.c

clean:
	rm -f core rsa2fml

all: clean rsa2fml strip

strip:
	strip rsa2fml

