Makefile

   1 include ../CMD.mk    # YACASL2DIR, CASL2
   2 CASL2FLAG = -atd -M64
   3 ASDIR = $(YACASL2DIR)/as
   4 CASL2LIBDIR = $(YACASL2DIR)/as/casl2lib
   5 ASFILE = $(YACASL2DIR)/as/cmd/RPUSH/rpush.casl
   6 CMD = $(CASL2) $(CASL2FLAG) $(ASFILE)
   7 include ../TEST.mk