From: jan.de.kruyf@gmail.com
Subject: Re: ASIS users: Scope manager added to Adalog's ASIS components
Date: Wed, 22 Apr 2015 08:12:28 -0700 (PDT)
Date: 2015-04-22T08:12:28-07:00 [thread overview]
Message-ID: <56b18524-e2cb-445e-a764-242708ba381e@googlegroups.com> (raw)
In-Reply-To: <mh526b$mjt$1@dont-email.me>
If you want to build AdaControl for Gnat gpl 2014 on linux and you are as adalogically challenged as I am:
Get asis-gpl-2014-src.tar.gz from 'libre'
Extract it somewhere.
and cd 'asis-gpl-2014-src'
then:
make all install prefix=/home/jan/asis-local (substitute yr own directory)
----------------------
Now for the main part:
After getting the sources
git clone --depth 2 git://adacontrol.git.sourceforge.net/gitroot/adacontrol/adacontrol
git clone --depth 2 git://adacontrol.git.sourceforge.net/gitroot/adacontrol/adalog_asiscomps
git clone --depth 2 git://adacontrol.git.sourceforge.net/gitroot/adacontrol/adalog_comps
(all into 'Ada-Control' I _think_ , I muddled a bit here)
cd /home/jan/Ada-Control/adacontrol
export GPR_PROJECT_PATH=/home/jan/Ada-Control/adalog_comps:/home/jan/Ada-Control/adalog_asiscomps:/home/jan/asis-local:/home/jan/asis-local/lib/gnat
(the last part so gnatmake can find the 'asis.gpr')
then
gnatmake -Padactl.gpr
and adactl, pfni, and ptree will be found in the src directory.
Enjoy building,
j.
prev parent reply other threads:[~2015-04-22 15:12 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-04-21 8:37 ASIS users: Scope manager added to Adalog's ASIS components J-P. Rosen
2015-04-22 15:12 ` jan.de.kruyf [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox