# Copyright (C) 2018 Alain Giorgetti

# This file is distributed under the terms of the
# GNU Lesser General Public License Version 2.1.
# You should have received a copy of the GNU General Public License.
# If not, see <http://www.gnu.org/licenses/>.

# why3/enum/cursor/Makefile

.PHONY: prove replay test extract

prove:
	cd barray; make prove
	cd permutation; make prove

replay:
	cd barray; make replay
	cd permutation; make replay

test:
	cd barray; make test
	cd permutation; make test

extract:
	cd barray; make extract
	cd permutation; make extract
