###############################################################################
# Coq Unit Testing project                                                    #
# Copyright 2015-2016 Catherine Dubois, Richard Genestier and Alain Giorgetti # 
# Samovar - FEMTO-ST institute                                                #
###############################################################################
#      This file is distributed under the terms of the                        #
#       GNU Lesser General Public License Version 2.1                         #
###############################################################################

# File: examples/endofun/prolog/Makefile

.PHONY: test

test:
	swipl -s bet_endoline.pl
	swipl -s bet_endofun.pl
