cvs commit: ports/math/isabelle Makefile

[Rong-En Fan]

rafan       2006-08-10 12:04:59 UTC

  FreeBSD ports repository

  Modified files:
    math/isabelle        Makefile 
  Log:
  math/isabelle does not build on pointyhat, because the build process
  requires a non-standard kernel setting. Mark it as NO_PACKAGE.
  
  Refer to http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603
  
  PR:             ports/101749
  Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
  
  Revision  Changes    Path
  1.3       +1 -0      ports/math/isabelle/Makefile