~ubuntu-branches/ubuntu/gutsy/acl2/gutsy

« back to all changes in this revision

Viewing changes to books/deduction/passmore/Makefile

• browse files at revision 7
• compare with another revision
• download diff
• download tarball
• view history from revision 7

Show diffs side-by-side

added

removed

books/deduction/passmore/Makefile

 

1

# EDIT THE FOLLOWING by replacing the directory with your ACL2 distributed

 

2

# books directory.  You are welcome to omit this line, or not as you prefer, in

 

3

# your contribution.

 

4

# ACL2_SYSTEM_BOOKS = /Research/ACL2/acl2-sources/books

 

5

ACL2_SYSTEM_BOOKS = ../..

 

6

 

 

7

include ${ACL2_SYSTEM_BOOKS}/Makefile-generic

 

8

 

 

9

# OPTIONALLY EDIT THE FOLLOWING.  But do not use "time" or "nice"; at least one

 

10

# of these can cause trouble in some environments.

 

11

ACL2 = ${ACL2_SYSTEM_BOOKS}/../saved_acl2

 

12

 

 

13

# Pasted in from "make dependencies":

 

14

bewijs.cert: bewijs.lisp

 

15

 

 

16

general.cert: general.lisp

 

17

 

 

18

paramod.cert: paramod.lisp

 

19

paramod.cert: weighting.cert

 

20

 

 

21

prover.cert: prover.lisp

 

22

prover.cert: general.cert

 

23

prover.cert: unification.cert

 

24

prover.cert: weighting.cert

 

25

prover.cert: resolution.cert

 

26

prover.cert: paramod.cert

 

27

prover.cert: bewijs.cert

 

28

 

 

29

resolution.cert: resolution.lisp

 

30

resolution.cert: general.cert

 

31

resolution.cert: unification.cert

 

32

resolution.cert: weighting.cert

 

33

 

 

34

unification.cert: unification.lisp

 

35

unification.cert: general.cert

 

36

 

 

37

weighting.cert: weighting.lisp

 

38

weighting.cert: unification.cert

 

39

 

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1