diff options
Diffstat (limited to 'Semestr 3/pf/lista5/proof/README')
-rw-r--r-- | Semestr 3/pf/lista5/proof/README | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/Semestr 3/pf/lista5/proof/README b/Semestr 3/pf/lista5/proof/README new file mode 100644 index 0000000..5fda955 --- /dev/null +++ b/Semestr 3/pf/lista5/proof/README @@ -0,0 +1,30 @@ +Szablon do listy 5 z Programowania funkcyjnego w grupach mabi, mbu, ppo i efes. + +Zarówno plik README, jak i źródła wykorzystują kodowanie znaków UTF-8. +Jeśli nie wyświetlają się one dobrze na Twoim komputerze, zadbaj o to, +by Twój edytor używał kodowania znaków UTF-8. Jeśli Twój edytor tego +nie potrafi, zmień edytor. + +Pliki logic.mli, logic.ml, proof.mli, proof.ml definiują bibliotekę, +którą łatwo skompilować poleceniem + +$ make + +Pliki logic.mli i logic.ml to szablon listy 4, więc należy je zastąpić +rozwiązaniami tej listy. + +Żeby moduły definiowane przez tą bibliotekę były widoczne w interpreterze, +należy przekazać plik logic.cma jako parametr do interpretera: + +$ utop logic.cma + +Jeśli masz problemy ze skompilowaniem biblioteki, możesz zawsze skompilować ją +ręcznie, choć nie jest to najwygodniejsza metoda: + +$ ocamlc -c logic.mli +$ ocamlc -c logic.ml +$ ocamlc -c proof.mli +$ ocamlc -c proof.ml +$ ocamlc -a -o logic.cma logic.cmo proof.cmo + +Pamiętaj, że po każdej zmianie należy przekompilować bibliotekę. |