<commit_before>{stdenv, fetchurl, gmp, static ? false}:

let 
  version = "0.06";
  staticFlags = if static then " --enable-static --disable-shared" else "";
in

stdenv.mkDerivation {
  name = "isl-${version}";
  
  src = fetchurl {
    url = "http://www.kotnet.org/~skimo/isl/isl-${version}.tar.bz2";
    sha256 = "0w1i1m94w0jkmm0bzlp08c4r97j7yp0d7crxf28524b9mgbg0mwk";
  };

  buildInputs = [ gmp ];

  dontDisableStatic = if static then true else false;
  configureFlags = "--with-gmp-prefix=${gmp}" + staticFlags;

  meta = {
    homepage = http://www.kotnet.org/~skimo/isl/;
    license = "LGPLv2.1";
    description = "A library for manipulating sets and relations of integer points bounded by linear constraints.";
    maintainers = [ stdenv.lib.maintainers.shlevy ];
  };
}
<commit_msg>Use correct gmp for cross-build<commit_after>{stdenv, fetchurl, gmp, static ? false}:

let 
  version = "0.06";
  staticFlags = if static then " --enable-static --disable-shared" else "";
in

stdenv.mkDerivation rec {
  name = "isl-${version}";
  
  src = fetchurl {
    url = "http://www.kotnet.org/~skimo/isl/isl-${version}.tar.bz2";
    sha256 = "0w1i1m94w0jkmm0bzlp08c4r97j7yp0d7crxf28524b9mgbg0mwk";
  };

  buildInputs = [ gmp ];

  dontDisableStatic = if static then true else false;
  configureFlags = "--with-gmp-prefix=${gmp}" + staticFlags;
  crossAttrs = {
    configureFlags = configureFlags + " --with-gmp-prefix=${gmp.hostDrv} ";
  };

  meta = {
    homepage = http://www.kotnet.org/~skimo/isl/;
    license = "LGPLv2.1";
    description = "A library for manipulating sets and relations of integer points bounded by linear constraints.";
    maintainers = [ stdenv.lib.maintainers.shlevy ];
  };
}

{'fraction_non_alphanumeric': 0.14695550351288056, 'fraction_numerical': 0.03629976580796253, 'mean_word_length': 3.4855643044619424, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, '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': '7546763', 'n_tokens_mistral': 660, 'n_tokens_neox': 617, 'n_words': 127}