diff options
| author | alnsn <alnsn@pkgsrc.org> | 2019-08-24 22:10:16 +0000 |
|---|---|---|
| committer | alnsn <alnsn@pkgsrc.org> | 2019-08-24 22:10:16 +0000 |
| commit | 3ddbdb29bd48fc1acd92b699a87aedabae06ceb7 (patch) | |
| tree | 1980ded25edd9c7e249b55c8bddc31da4bc5b017 /math/Makefile | |
| parent | f29be2a0aba0fd8689eda442296ba29e5f77f975 (diff) | |
| download | pkgsrc-3ddbdb29bd48fc1acd92b699a87aedabae06ceb7.tar.gz | |
Add yices2 to the build.
Diffstat (limited to 'math/Makefile')
| -rw-r--r-- | math/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/math/Makefile b/math/Makefile index 10486ec2bd7..0c462633057 100644 --- a/math/Makefile +++ b/math/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.433 2019/08/09 16:25:23 brook Exp $ +# $NetBSD: Makefile,v 1.434 2019/08/24 22:10:16 alnsn Exp $ COMMENT= Mathematics @@ -405,6 +405,7 @@ SUBDIR+= xlispstat SUBDIR+= xmgr SUBDIR+= xylib SUBDIR+= yacas +SUBDIR+= yices2 SUBDIR+= yorick SUBDIR+= z3 |