61 lines
2 KiB
Ruby
61 lines
2 KiB
Ruby
class Nauty < Formula
|
|
desc "Automorphism groups of graphs and digraphs"
|
|
homepage "http://pallini.di.uniroma1.it"
|
|
url "http://pallini.di.uniroma1.it/nauty26r12.tar.gz"
|
|
version "26r12"
|
|
sha256 "862ae0dc3656db34ede6fafdb0999f7b875b14c7ab4fedbb3da4f28291eb95dc"
|
|
|
|
bottle do
|
|
cellar :any_skip_relocation
|
|
sha256 "e8a50e7c738926c887d8b460d2fcd4c2f888e21f8f6f5c3d42315d69c3781853" => :catalina
|
|
sha256 "e2adc9f094ff8a25d44f23f7772ccea4b229729869f646e4d7af2aacf090e8fd" => :mojave
|
|
sha256 "b2faeacdb5b39f262d7e444ea7bb63ba8ff752e55ee83cd75311b212bfbb5ba5" => :high_sierra
|
|
end
|
|
|
|
def install
|
|
system "./configure", "--disable-debug",
|
|
"--disable-dependency-tracking",
|
|
"--prefix=#{prefix}"
|
|
system "make", "all"
|
|
system "make", "nauty.a"
|
|
|
|
bin.install %w[
|
|
NRswitchg addedgeg amtog biplabg catg complg converseg copyg countg
|
|
cubhamg deledgeg delptg directg dreadnaut dretodot dretog genbg genbgL
|
|
geng genquarticg genrang genspecialg gentourng gentreeg hamheuristic
|
|
labelg linegraphg listg multig newedgeg pickg planarg ranlabg shortg
|
|
showg subdivideg twohamg vcolg watercluster2
|
|
]
|
|
|
|
include.install "nauty.h"
|
|
|
|
lib.install "nauty.a" => "libnauty.a"
|
|
|
|
doc.install "nug26.pdf"
|
|
end
|
|
|
|
test do
|
|
# from ./runalltests
|
|
out1 = shell_output("#{bin}/geng -ud1D7t 11 2>&1")
|
|
out2 = shell_output("#{bin}/genrang -r3 114 100 | #{bin}/countg --nedDr -q")
|
|
|
|
assert_match /92779 graphs generated/, out1
|
|
assert_match /100 graphs : n=114; e=171; mindeg=3; maxdeg=3; regular/, out2
|
|
|
|
# test that the library is installed and linkable-against
|
|
(testpath/"test.c").write <<~EOS
|
|
#define MAXN 1000
|
|
#include <nauty.h>
|
|
|
|
int main()
|
|
{
|
|
int n = 12345;
|
|
int m = SETWORDSNEEDED(n);
|
|
nauty_check(WORDSIZE, m, n, NAUTYVERSIONID);
|
|
return 0;
|
|
}
|
|
EOS
|
|
system ENV.cc, "test.c", "-I#{include}", "-L#{lib}", "-lnauty", "-o", "test"
|
|
system "./test"
|
|
end
|
|
end
|