diff options
| author | marino <marino@FreeBSD.org> | 2015-06-28 16:38:46 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2015-06-28 16:38:46 +0800 |
| commit | 2c9a795bb21bea8f22dc802fda6872a4d41aa25b (patch) | |
| tree | 4e2a4bdeae41139cfcef4e142bb51235713a67c4 /math/Makefile | |
| parent | 3c497433471e50e1d17eaa4a62ab21fa712ab8d4 (diff) | |
| download | freebsd-ports-gnome-2c9a795bb21bea8f22dc802fda6872a4d41aa25b.tar.gz freebsd-ports-gnome-2c9a795bb21bea8f22dc802fda6872a4d41aa25b.tar.zst freebsd-ports-gnome-2c9a795bb21bea8f22dc802fda6872a4d41aa25b.zip | |
Add new port math/alt-ergo-spark (required by SPARK 2015)
This will be RUN_DEPENDS for lang/spark when it is fixed. The "stock"
math/alt-ergo cannot be used, it locks up when gnatprove calls it.
Diffstat (limited to 'math/Makefile')
| -rw-r--r-- | math/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 081c4060fa93..f58ffcea6dd3 100644 --- a/math/Makefile +++ b/math/Makefile @@ -52,6 +52,7 @@ SUBDIR += algae SUBDIR += algotutor SUBDIR += alt-ergo + SUBDIR += alt-ergo-spark SUBDIR += analitza SUBDIR += ann SUBDIR += apc |