ASIS users: Scope manager added to Adalog's ASIS components

ASIS users: Scope manager added to Adalog's ASIS components

[J-P. Rosen]

Talking about managing scopes...

I've added the scope manager to Adalog's ASIS components. It is a
component that has been used for a long time in AdaControl (and
therefore extensively tested), but I made it independent from AdaControl
for others to reuse. GMGPL of course.

Get it from:
 http://sourceforge.net/p/adacontrol/adalog-asiscomps/

It depends on Thick_Queries (available from the same place) and
Binary_Map (available from Adalog general components).

Enjoy!

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

Re: ASIS users: Scope manager added to Adalog's ASIS components

[jan.de.kruyf]

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.