<commit_before>{ stdenv, fetchurl, file, openssl, mlton, mysql, postgresql, sqlite }:

stdenv.mkDerivation rec {
  pname = "urweb";
  version = "20110917";
  name = "${pname}-${version}";

  src = fetchurl {
    url = "http://www.impredicative.com/ur/${name}.tgz";
    sha256 = "1qgb25bwpdcs303q7yz1dm577xyy5pzzyvaqabhkvhbgxmlcpl73";
  };

  buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ];

  prePatch = ''
    sed -e 's@/usr/bin/file@${file}/bin/file@g' -i configure
    sed -e 's@gcc @${stdenv.gcc}/bin/gcc @g' -i src/compiler.sml
    '';

  preConfigure =
    ''
      export CCARGS="-I$out/include \
                      -L${mysql}/lib/mysql -L${postgresql}/lib -L${sqlite}/lib";

      export PGHEADER="${postgresql}/include/libpq-fe.h";
      export MSHEADER="${mysql}/include/mysql/mysql.h";
      export SQHEADER="${sqlite}/include/sqlite3.h";
    '';

  configureFlags = "--with-openssl=${openssl}"; 

  dontDisableStatic = true;

  meta = {
    description = "Ur/Web supports construction of dynamic web applications backed by SQL databases.";
    longDescription = ''
      Ur is a programming language in the tradition of ML and Haskell, but
      featuring a significantly richer type system. Ur is functional, pure,
      statically-typed, and strict. Ur supports a powerful kind of
      metaprogramming based on row types.

      Ur/Web is Ur plus a special standard library and associated rules for
      parsing and optimization. Ur/Web supports construction of dynamic web<commit_msg>Update urweb compiler to release 20111127.<commit_after>{ stdenv, fetchurl, file, openssl, mlton, mysql, postgresql, sqlite }:

stdenv.mkDerivation rec {
  pname = "urweb";
  version = "20111127";
  name = "${pname}-${version}";

  src = fetchurl {
    url = "http://www.impredicative.com/ur/${name}.tgz";
    sha256 = "1mhicigbi434fdr4gim4dswnmff9dldszh93g2w2542nlxvn9lbj";
  };

  buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ];

  prePatch = ''
    sed -e 's@/usr/bin/file@${file}/bin/file@g' -i configure
    '';

  preConfigure =
    ''
      export CC="${stdenv.gcc}/bin/gcc";
      export CCARGS="-I$out/include \
                      -L${mysql}/lib/mysql -L${postgresql}/lib -L${sqlite}/lib";

      export PGHEADER="${postgresql}/include/libpq-fe.h";
      export MSHEADER="${mysql}/include/mysql/mysql.h";
      export SQHEADER="${sqlite}/include/sqlite3.h";
    '';

  configureFlags = "--with-openssl=${openssl}"; 

  dontDisableStatic = true;

  meta = {
    description = "Ur/Web supports construction of dynamic web applications backed by SQL databases.";
    longDescription = ''
      Ur is a programming language in the tradition of ML and Haskell, but
      featuring a significantly richer type system. Ur is functional, pure,
      statically-typed, and strict. Ur supports a powerful kind of
      metaprogramming based on row types.

      Ur/Web is Ur plus a special standard library and associated rules for
      parsing and optimization. Ur/Web supports construction of dynamic web
{'fraction_non_alphanumeric': 0.12602024159320926, 'fraction_numerical': 0.019915115899444988, 'mean_word_length': 3.185792349726776, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 1}, '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': '3424096', 'n_tokens_mistral': 1037, 'n_tokens_neox': 961, 'n_words': 263}