mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-28 01:06:17 +00:00
Connect math/clasp and math/minisat to the build.
Reported by: linimon
This commit is contained in:
parent
1ac0719a3b
commit
6c54cad857
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=329680
@ -82,6 +82,7 @@
|
||||
SUBDIR += chaco
|
||||
SUBDIR += chryzodus
|
||||
SUBDIR += clarence
|
||||
SUBDIR += clasp
|
||||
SUBDIR += clipper
|
||||
SUBDIR += cln
|
||||
SUBDIR += cloog
|
||||
@ -250,6 +251,7 @@
|
||||
SUBDIR += metis-edf
|
||||
SUBDIR += metis4
|
||||
SUBDIR += mingw32-libgmp
|
||||
SUBDIR += minisat
|
||||
SUBDIR += miracl
|
||||
SUBDIR += moo
|
||||
SUBDIR += mpc
|
||||
|
Loading…
Reference in New Issue
Block a user