FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

non port: head/lang/asis/files/patch-Makefile
SVNWeb

Number of commits found: 2

Fri, 14 Mar 2014
[ 08:37 marino ] Original commit   Revision:348174
348174 lang/asis/Makefile
348174 lang/asis/distinfo
348174 lang/asis/files/patch-Makefile
348174 lang/asis/files/patch-Makefile.stub
348174 lang/asis/files/patch-asis__bld.gpr
348174 lang/asis/files/patch-asis_a4g-gnat__int.adb
348174 lang/asis/files/patch-asis_asis.gpr
lang/asis: New version as result of gcc-aux upgrade to gcc49

The ASIS source has to be matched with the compiler source of the compiler
that builds it.  ASIS is always tricky because it's matched to annual
releases of GNAT GPL, and never to GNAT FSF.  However, after disabling the
useless (and faulty) strong version check, ASIS 2013 seems to work okay
with gcc49.  At least the two ports that use it seem to work ok.
Sun, 21 Jul 2013
[ 14:17 marino ] Original commit   Revision:323389
323389 lang/Makefile
323389 lang/asis
323389 lang/asis/Makefile
323389 lang/asis/distinfo
323389 lang/asis/files
323389 lang/asis/files/patch-Makefile
323389 lang/asis/files/patch-Makefile.stub
323389 lang/asis/files/patch-asis__bld.gpr
323389 lang/asis/files/patch-asis_asis.gpr
323389 lang/asis/pkg-descr
Add new port: lang/asis

This is ASIS, the Ada Semantic Interface Specification.
ASIS is tightly coupled with lang/gcc-aux and must be built with the same
sources.  For this reason, ASIS will not work with other Ada compilers,
including GNAT GPL (lang/gnat).

ASIS is a dependency of several upcoming Ada ports.

Approved by:	bapt (mentor)

Number of commits found: 2

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
php56*Jan 20
php70*Jan 20
icoutilsJan 19
mysql55-serverJan 18
mysql56-serverJan 18
mysql57-serverJan 18
powerdnsJan 18
powerdns-recursorJan 18
groovyJan 15
irssi*Jan 15
mysql57-client*Jan 15
mysql57-server*Jan 15
rabbitmqJan 15
wordpressJan 15
wordpressJan 15

29 vulnerabilities affecting 75 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 27806
Broken 299
Deprecated 127
Ignore 556
Forbidden 1
Restricted 204
No CDROM 83
Vulnerable 73
Expired 11
Set to expire 117
Interactive 0
new 24 hours 11
new 48 hours151
new 7 days209
new fortnight345
new month886

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.