X-Git-Url: http://git.ieval.ro/?p=gruntmaster-daemon.git;a=blobdiff_plain;f=gruntmaster-compile;h=3a0dac886e9248e41f8f96b9e651d390ec586db8;hp=0ab18fc693a86dc0a72f9779217b8c3ac7514639;hb=92fbf93360dc44a13c48ad68be8333a461927f36;hpb=8473542d42779eebcd7b0dd45dcf5183d112252c

diff --git a/gruntmaster-compile b/gruntmaster-compile
index 0ab18fc..3a0dac8 100755
--- a/gruntmaster-compile
+++ b/gruntmaster-compile
@@ -30,6 +30,7 @@ given ($format){
 	exec 'go', qw/build -compiler gccgo/, $name, when 'GCCGO';
 	exec 'ghc', qw/-DONLINE_JUDGE -Wall -O2 -o/, $basename, $name when 'HASKELL';
 	exec 'rustc', qw/-O -o/, $basename, $name when 'RUST';
+	exec 'ocamlc', qw/-o/, $basename, $name when 'OCAML';
 
 	when ('BRAINFUCK') {
 		system 'bfc', $name and die "bfc failed: errno=$! return=$?";
@@ -45,7 +46,7 @@ given ($format){
 		print OUT "#!/usr/bin/julia -O\n"                                                               if $_ eq 'JULIA';
 		print OUT "#!/usr/bin/perl\n"                                                                   if $_ eq 'PERL';
 		print OUT "#!/usr/bin/php -d ONLINE_JUDGE=true\n"                                               if $_ eq 'PHP';
-		print OUT "#!/usr/bin/python\n"                                                                 if $_ eq 'PYTHON';
+		print OUT "#!/usr/bin/python2.7\n"                                                              if $_ eq 'PYTHON';
 		print OUT "#!/usr/bin/ruby\n"                                                                   if $_ eq 'RUBY';
 		print OUT "#!/usr/bin/sbcl --script\n"                                                          if $_ eq 'SBCL';
 		print OUT while <IN>;
@@ -118,6 +119,10 @@ Compile commands for each format:
 
   ghc -DONLINE_JUDGE -Wall -O2 -o $output $input
 
+=item OCAML
+
+  ocamlc -o $output $input
+
 =item RUST
 
   rustc -O -o $output $input