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-asis_asis.gpr
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
gitlabJul 20
collectd5Jul 19
mariadb100-serverJul 19
mariadb101-serverJul 19
mariadb55-serverJul 19
mysql55-serverJul 19
mysql56-serverJul 19
mysql57-serverJul 19
strongswanJul 19
strongswanJul 19
cactiJul 17
apache24Jul 13
linux-flashplayerJul 13
nodeJul 12
node4Jul 12

15 vulnerabilities affecting 72 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 30812
Broken 174
Deprecated 85
Ignore 469
Forbidden 0
Restricted 209
No CDROM 84
Vulnerable 183
Expired 42
Set to expire 80
Interactive 0
new 24 hours 10
new 48 hours13
new 7 days69
new fortnight336
new month450

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