-.setup-config: $(CABAL_FILE) configure Setup Rakka.buildinfo.in
- BUILD_TEST_SUITE=yes ./Setup configure
+rebuild-index: build
+ $(EXECUTABLE) --rebuild-index
+
+dist/setup-config: $(CABAL_FILE) configure Setup Rakka.buildinfo.in
+ ./Setup configure --disable-optimization -fbuild-test-suite
+# ./Setup configure -fhardest-optimization
+# ./Setup configure -fenable-profiling