]> matita.cs.unibo.it Git - helm.git/commit
Quick patch to make everything work with MySql.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 14:50:11 +0000 (14:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 14:50:11 +0000 (14:50 +0000)
commitb5503c72c5560e8da3337e99bf058f0caab350e8
tree45c4c291a0227037a2e8c869d2484d96ae8c89e9
parent27ebca99c83f84c5a3915695e3f78b36c4fbcedf
Quick patch to make everything work with MySql.
Note: to compile you need to make a symbolic link from mQIDataBase.ml
to mQIPostgres.ml or mQIMySql.ml
helm/ocaml/mathql_interpreter/.depend
helm/ocaml/mathql_interpreter/Makefile
helm/ocaml/mathql_interpreter/mQIConn.ml
helm/ocaml/mathql_interpreter/mQIConn.mli
helm/ocaml/mathql_interpreter/mQIDataBase.mli [new file with mode: 0644]
helm/ocaml/mathql_interpreter/mQIMySql.ml [new file with mode: 0644]
helm/ocaml/mathql_interpreter/mQIMySql.mli [new file with mode: 0644]
helm/ocaml/mathql_interpreter/mQIPostgres.ml
helm/ocaml/mathql_interpreter/mQIPostgres.mli
helm/ocaml/mathql_interpreter/mQIProperty.ml