Home Explore Help
Sign In
dfanfdsanfdsa
/
ood-ports-lbsd-fork1
forked from jimmy/ood-ports-lbsd
Watch 1
Star 0
Fork 0
Files
Tree: f08698bfd3
Branches Tags
ood-ports-lb...
/
math
/
prover9
/
Makefile

Makefile 146 B
History Raw

1234567 
  1. # $OpenBSD: Makefile,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
    2. 

  2. 

  3.     SUBDIR =
    4. 

  4.     SUBDIR += ladr
    5. 

  5.     SUBDIR += p9m4
    6. 

  6. 

  7. .include <bsd.port.subdir.mk>
    8.