← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/system/toothbrush/tests/Makefile

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/system/toothbrush/tests/Makefile
 
1
# Copyright (C) 2014, ForrestHunt, Inc.
 
2
# Written by Matt Kaufmann, November, 2014
 
3
# License: A 3-clause BSD license.  See the LICENSE file distributed with ACL2.
 
4
 
 
5
# When des and aes are added to the community book, they should be
 
6
# added below.
 
7
TEST_DIRS := test1 test2 test-par dag-unification
 
8
 
 
9
.PHONY: all
 
10
all: $(TEST_DIRS)
 
11
 
 
12
.PHONY: $(TEST_DIRS)
 
13
$(TEST_DIRS):
 
14
        @(cd $@ ; echo "Testing in `pwd`" ; $(MAKE) TEST_DIR=$@)
 
15
 
 
16
clean:
 
17
        @for d in $(TEST_DIRS) ;\
 
18
        do \
 
19
        (cd $$d ; $(MAKE) clean) ;\
 
20
        done