<commit_before>#!/bin/bash
set -eu -o pipefail

cd "$SRC_DIR"

mkdir -p build && cd build
cmake \
  "-DCMAKE_INSTALL_PREFIX=$PREFIX" \
  -DENABLE_PYTHON_INTERFACE=OFF \
  # Testing requires lit which is not packaged yet: https://github.com/conda-forge/staged-recipes/issues/4630
  -DENABLE_TESTING=OFF \
  ..

make -j${CPU_COUNT} install

ln -s "$PREFIX/bin/cryptominisat5_simple" "$PREFIX/bin/cryptominisat_simple"<commit_msg>Move comments and enable Python interface<commit_after>#!/bin/bash
set -eu -o pipefail

cd "$SRC_DIR"

mkdir -p build && cd build

# * ENABLE_PYTHON_INTERFACE: The Python interface expects Python3 (at least
#   that's what the Makefile seems to be checking for.)
# * ENABLE_TESTING: Testing requires lit which is not packaged yet:
#   https://github.com/conda-forge/staged-recipes/issues/4630
cmake \
  "-DCMAKE_INSTALL_PREFIX=$PREFIX" \
  -DENABLE_PYTHON_INTERFACE=`[[ $PY3K == 1 ]] && echo ON || echo OFF` \
  -DENABLE_TESTING=OFF \
  ..

make -j${CPU_COUNT} install

ln -s "$PREFIX/bin/cryptominisat5_simple" "$PREFIX/bin/cryptominisat_simple"
{'fraction_non_alphanumeric': 0.12861136999068035, 'fraction_numerical': 0.012115563839701771, 'mean_word_length': 4.239024390243903, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 2, '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': '3688562', 'n_tokens_mistral': 411, 'n_tokens_neox': 389, 'n_words': 92}