summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--notes.txt2
-rw-r--r--stv.gpr27
2 files changed, 29 insertions, 0 deletions
diff --git a/notes.txt b/notes.txt
index 3ff0527..b652ee4 100644
--- a/notes.txt
+++ b/notes.txt
@@ -10,6 +10,8 @@ Preference deduplication isn't worth it unless there exists some linear dedupe a
future direction
----------------
+Replace Multi_Precision_Integers with own code, with consistent style and licensing
+
Util to list paper ids that fit specific criteria to doublecheck potential errors.
Add proper tiebreaker handling.
diff --git a/stv.gpr b/stv.gpr
new file mode 100644
index 0000000..9f40ed8
--- /dev/null
+++ b/stv.gpr
@@ -0,0 +1,27 @@
+
+
+project STV is
+
+
+ for Languages use ("Ada");
+
+
+ for Source_Dirs use ("src/**");
+ for Object_Dir use "build";
+ for Exec_Dir use "bin";
+ for Main use ("stv.adb");
+
+
+ package Builder is
+ for Executable("stv.adb") use "stv";
+ end Builder;
+
+
+ package Compiler is
+ for Default_Switches("Ada") use ("-gnaty4aAbcefhiklM99nprt");
+ end Compiler;
+
+
+end STV;
+
+