CVS commit: pkgsrc/lang/coq

["Antoine Reilles" <tonio%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   tonio
Date:           Sun Sep 23 08:36:44 UTC 2012

Modified Files:
        pkgsrc/lang/coq: Makefile

Log Message:
natdynlink conditional should match the one of ocaml
fixes make package on darwin x86_64


To generate a diff of this commit:
cvs rdiff -u -r1.45 -r1.46 pkgsrc/lang/coq/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.