File: Makefile

package info (click to toggle)
xstr 0.2.1-10
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 116 kB
  • ctags: 193
  • sloc: ml: 1,070; makefile: 108
file content (16 lines) | stat: -rw-r--r-- 671 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
all: with_xstr_byte with_xstr_opt with_str_byte with_str_opt
clean: 
	rm -f *.cmi *.cmo *.cmx *.o gmon.out 
	rm -f with_str_byte with_str_opt with_xstr_byte with_xstr_opt 
	rm -f with_xstr_opt_p

with_xstr_byte: ../xstr.cma with_xstr.ml
	ocamlc -o with_xstr_byte -I .. xstr.cma with_xstr.ml
with_xstr_opt: ../xstr.cmxa with_xstr.ml
	ocamlopt -o with_xstr_opt -I .. xstr.cmxa with_xstr.ml
with_xstr_opt_p: ../xstr.cmxa with_xstr.ml
	ocamlopt -o with_xstr_opt_p -p -I .. xstr.cmxa with_xstr.ml
with_str_byte: with_str.ml
	ocamlc -o with_str_byte -custom str.cma with_str.ml -cclib -lstr
with_str_opt: with_str.ml
	ocamlopt -o with_str_opt str.cmxa with_str.ml -cclib -lstr