notes

5719a861 · Haoyu Z · 15bc25c3 · 5719a861 · 5719a861 · 5719a861
Commit 5719a861 authored 4 years ago by Haoyu Z
--- a/.DS_Store
+++ b/.DS_Store
--- a/docs/JULY 24.pdf
+++ b/docs/JULY 24.pdf
--- a/docs/JULY 31.pdf
+++ b/docs/JULY 31.pdf
--- a/docs/installProvsql
+++ b/docs/installProvsql
+sudo apt install postgresql postgresql-contrib
+sudo apt-get install libpq-dev
+sudo apt-get install postgresql-server-dev-all
+sudo apt-get install postgresql-common
+
+git clone https://github.com/PierreSenellart/provsql.git
+cd provsql
+make
+sudo make install
+add shared_preload_libraries = 'provsql' to /etc/postgresql/VERSION/main/postgresql.conf, then systemsctl restart postgresql