Merge remote-tracking branch 'origin/master' into ab/info-tables

Merge remote-tracking branch 'origin/stable' into ab/info-tables
request info-tables globally, add profiling
2026-08-30 20:38:23 +00:00 · 2024-11-26 10:32:18 +02:00 · 2024-06-05 13:54:26 +03:00 · 2024-05-28 13:59:08 +03:00 · 2024-05-28 13:57:08 +03:00
1 changed files with 5 additions and 0 deletions
@@ -1,3 +1,8 @@
+profiling: True
+
+package *
+  ghc-options: -finfo-table-map -fdistinct-constructor-tables
+
 packages: .
 -- packages: . ../direct-sqlcipher ../sqlcipher-simple
 -- packages: . ../hs-socks
Author	SHA1	Message	Date
IC Rainbow	366b830b37	Merge remote-tracking branch 'origin/master' into ab/info-tables	2024-11-26 10:32:18 +02:00
IC Rainbow	baac18bdb8	Merge remote-tracking branch 'origin/stable' into ab/info-tables	2024-06-05 13:54:26 +03:00
Alexander Bondarenko	1e5ec31a37	request info-tables globally, add profiling	2024-05-28 13:59:08 +03:00
Alexander Bondarenko	6202a0e5dc	add options for -hi	2024-05-28 13:57:08 +03:00