1# 2# Copyright 2016, NICTA 3# 4# This software may be distributed and modified according to the terms of 5# the GNU General Public License version 2. Note that NO WARRANTY is provided. 6# See "LICENSE_GPLv2.txt" for details. 7# 8# @TAG(NICTA_GPL) 9# 10 11SRC=fsop.cogent 12 13DSL=cogent 14 15all: 16 $(DSL) -t $(SRC) 17tc: 18 $(DSL) -t $(SRC) 19pretty: 20 $(DSL) -p $(SRC) 21clean: 22 rm -f $(SRCP) 23 24re: clean all 25 @echo -n 26