include ../../Makefile-generic
ACL2 = ../../../saved_acl2

# Dependencies:

supporting-ordinals.cert: supporting-ordinals.lisp
# supporting-ordinals.cert: $(ACL2_SYSTEM_BOOKS)/ordinals/ordinals.cert
