###############################################################################
# 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/permutation/prolog/Makefile

.PHONY: test

test:
	swipl -s bet_permut.pl
	swipl -s bet_permut_non_refl.pl
