<commit_before>require 'formula'

class Stp < Formula
  head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '774'
  homepage 'http://sites.google.com/site/stpfastprover/'

  def options
    [["--32-bit", "Force 32-bit."]]
  end

  def install
    unless ARGV.include? "--32-bit"
      inreplace "./scripts/Makefile.common" do |s|
        s.remove_make_var! "CFLAGS_M32"
      end
    end

    system "./clean-install.sh", "--with-prefix=#{prefix}"
    system "make install"
  end
end<commit_msg>Updated stp to revision 842.<commit_after>require 'formula'

class Stp < Formula
  head 'http://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp', :revision => '842'
  homepage 'http://sites.google.com/site/stpfastprover/'

  def options
    [["--32-bit", "Force 32-bit."]]
  end

  def install
    unless ARGV.include? "--32-bit"
      inreplace "./scripts/Makefile.common" do |s|
        s.remove_make_var! "CFLAGS_M32"
      end
    end

    system "./clean-install.sh", "--with-prefix=#{prefix}"
    system "make install"
  end
end
{'fraction_non_alphanumeric': 0.16317228805834094, 'fraction_numerical': 0.022789425706472195, 'mean_word_length': 2.949640287769784, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5862719', 'n_tokens_mistral': 429, 'n_tokens_neox': 398, 'n_words': 79}