Add GNU Prolog package.
This commit is contained in:
parent
d24c11f2b1
commit
b8e2799700
41
var/spack/repos/builtin/packages/gnu-prolog/package.py
Normal file
41
var/spack/repos/builtin/packages/gnu-prolog/package.py
Normal file
@ -0,0 +1,41 @@
|
||||
##############################################################################
|
||||
# Copyright (c) 2013-2016, Lawrence Livermore National Security, LLC.
|
||||
# Produced at the Lawrence Livermore National Laboratory.
|
||||
#
|
||||
# This file is part of Spack.
|
||||
# Created by Todd Gamblin, tgamblin@llnl.gov, All rights reserved.
|
||||
# LLNL-CODE-647188
|
||||
#
|
||||
# For details, see https://github.com/llnl/spack
|
||||
# Please also see the LICENSE file for our notice and the LGPL.
|
||||
#
|
||||
# This program is free software; you can redistribute it and/or modify
|
||||
# it under the terms of the GNU Lesser General Public License (as
|
||||
# published by the Free Software Foundation) version 2.1, February 1999.
|
||||
#
|
||||
# This program is distributed in the hope that it will be useful, but
|
||||
# WITHOUT ANY WARRANTY; without even the IMPLIED WARRANTY OF
|
||||
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the terms and
|
||||
# conditions of the GNU Lesser General Public License for more details.
|
||||
#
|
||||
# You should have received a copy of the GNU Lesser General Public
|
||||
# License along with this program; if not, write to the Free Software
|
||||
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
||||
##############################################################################
|
||||
from spack import *
|
||||
|
||||
class GnuProlog(Package):
|
||||
"""A free Prolog compiler with constraint solving over finite domains."""
|
||||
homepage = "http://www.gprolog.org/"
|
||||
url = "http://www.gprolog.org/gprolog-1.4.4.tar.gz"
|
||||
|
||||
version('1.4.4', '37009da471e5217ff637ad1c516448c8')
|
||||
|
||||
parallel = False
|
||||
|
||||
def install(self, spec, prefix):
|
||||
with working_dir('src'):
|
||||
configure('--with-install-dir=%s' % prefix,
|
||||
'--without-links-dir')
|
||||
make()
|
||||
make('install')
|
Loading…
Reference in New Issue
Block a user