Artifact
505704138eb99f4659c375c361e88df15dfc9dfe:
0000: 4c 49 42 5f 53 52 43 53 20 3d 20 72 61 73 63 6c LIB_SRCS = rascl
0010: 44 69 63 74 2e 6d 6c 20 72 61 73 63 6c 50 61 72 Dict.ml rasclPar
0020: 73 65 72 2e 6d 6c 20 72 61 73 63 6c 4c 65 78 65 ser.ml rasclLexe
0030: 72 2e 6d 6c 20 72 61 73 63 6c 4f 62 6a 65 63 74 r.ml rasclObject
0040: 2e 6d 6c 20 72 61 73 63 6c 2e 6d 6c 0a 42 59 54 .ml rascl.ml.BYT
0050: 45 5f 4f 42 4a 53 20 3d 20 24 28 4c 49 42 5f 53 E_OBJS = $(LIB_S
0060: 52 43 53 3a 2e 6d 6c 3d 2e 63 6d 6f 29 0a 4e 41 RCS:.ml=.cmo).NA
0070: 54 5f 4f 42 4a 53 20 3d 20 24 28 4c 49 42 5f 53 T_OBJS = $(LIB_S
0080: 52 43 53 3a 2e 6d 6c 3d 2e 63 6d 78 29 0a 0a 2e RCS:.ml=.cmx)...
0090: 50 48 4f 4e 59 3a 20 61 6c 6c 20 6f 70 74 20 62 PHONY: all opt b
00a0: 79 74 65 20 6c 69 62 2d 6f 70 74 20 6c 69 62 2d yte lib-opt lib-
00b0: 62 79 74 65 20 69 6e 73 74 61 6c 6c 20 75 6e 69 byte install uni
00c0: 6e 73 74 61 6c 6c 20 64 6f 63 20 63 6c 65 61 6e nstall doc clean
00d0: 0a 0a 61 6c 6c 20 3a 20 6c 69 62 2d 62 79 74 65 ..all : lib-byte
00e0: 20 6c 69 62 2d 6f 70 74 20 70 61 5f 72 61 73 63 lib-opt pa_rasc
00f0: 6c 2e 63 6d 6f 0a 0a 62 79 74 65 20 3a 20 6c 69 l.cmo..byte : li
0100: 62 2d 62 79 74 65 20 70 61 5f 72 61 73 63 6c 2e b-byte pa_rascl.
0110: 63 6d 6f 0a 0a 6f 70 74 20 3a 20 6c 69 62 2d 6f cmo..opt : lib-o
0120: 70 74 20 70 61 5f 72 61 73 63 6c 2e 63 6d 6f 0a pt pa_rascl.cmo.
0130: 0a 6c 69 62 2d 62 79 74 65 20 3a 20 24 28 42 59 .lib-byte : $(BY
0140: 54 45 5f 4f 42 4a 53 29 0a 09 6f 63 61 6d 6c 63 TE_OBJS)..ocamlc
0150: 20 2d 61 20 2d 6f 20 72 61 73 63 6c 2e 63 6d 61 -a -o rascl.cma
0160: 20 24 28 42 59 54 45 5f 4f 42 4a 53 29 0a 0a 6c $(BYTE_OBJS)..l
0170: 69 62 2d 6f 70 74 20 3a 20 24 28 4e 41 54 5f 4f ib-opt : $(NAT_O
0180: 42 4a 53 29 0a 09 6f 63 61 6d 6c 6f 70 74 20 2d BJS)..ocamlopt -
0190: 61 20 2d 6f 20 72 61 73 63 6c 2e 63 6d 78 61 20 a -o rascl.cmxa
01a0: 24 28 4e 41 54 5f 4f 42 4a 53 29 0a 0a 0a 72 61 $(NAT_OBJS)...ra
01b0: 73 63 6c 44 69 63 74 2e 63 6d 6f 20 3a 20 72 61 sclDict.cmo : ra
01c0: 73 63 6c 44 69 63 74 2e 63 6d 69 20 72 61 73 63 sclDict.cmi rasc
01d0: 6c 44 69 63 74 2e 6d 6c 0a 09 6f 63 61 6d 6c 63 lDict.ml..ocamlc
01e0: 20 2d 63 20 72 61 73 63 6c 44 69 63 74 2e 6d 6c -c rasclDict.ml
01f0: 0a 72 61 73 63 6c 44 69 63 74 2e 63 6d 78 20 3a .rasclDict.cmx :
0200: 20 72 61 73 63 6c 44 69 63 74 2e 63 6d 69 20 72 rasclDict.cmi r
0210: 61 73 63 6c 44 69 63 74 2e 6d 6c 0a 09 6f 63 61 asclDict.ml..oca
0220: 6d 6c 6f 70 74 20 2d 63 20 72 61 73 63 6c 44 69 mlopt -c rasclDi
0230: 63 74 2e 6d 6c 0a 0a 0a 72 61 73 63 6c 50 61 72 ct.ml...rasclPar
0240: 73 65 72 2e 63 6d 6f 20 3a 20 72 61 73 63 6c 44 ser.cmo : rasclD
0250: 69 63 74 2e 63 6d 6f 20 72 61 73 63 6c 50 61 72 ict.cmo rasclPar
0260: 73 65 72 2e 6d 6c 0a 09 2d 72 6d 20 72 61 73 63 ser.ml..-rm rasc
0270: 6c 50 61 72 73 65 72 2e 6d 6c 69 0a 09 6f 63 61 lParser.mli..oca
0280: 6d 6c 63 20 2d 63 20 72 61 73 63 6c 44 69 63 74 mlc -c rasclDict
0290: 2e 63 6d 6f 20 72 61 73 63 6c 50 61 72 73 65 72 .cmo rasclParser
02a0: 2e 6d 6c 0a 72 61 73 63 6c 50 61 72 73 65 72 2e .ml.rasclParser.
02b0: 63 6d 78 20 3a 20 72 61 73 63 6c 44 69 63 74 2e cmx : rasclDict.
02c0: 63 6d 78 20 72 61 73 63 6c 50 61 72 73 65 72 2e cmx rasclParser.
02d0: 6d 6c 0a 09 2d 72 6d 20 72 61 73 63 6c 50 61 72 ml..-rm rasclPar
02e0: 73 65 72 2e 6d 6c 69 0a 09 6f 63 61 6d 6c 6f 70 ser.mli..ocamlop
02f0: 74 20 2d 63 20 72 61 73 63 6c 44 69 63 74 2e 63 t -c rasclDict.c
0300: 6d 78 20 72 61 73 63 6c 50 61 72 73 65 72 2e 6d mx rasclParser.m
0310: 6c 0a 0a 72 61 73 63 6c 50 61 72 73 65 72 2e 6d l..rasclParser.m
0320: 6c 20 3a 20 72 61 73 63 6c 50 61 72 73 65 72 2e l : rasclParser.
0330: 6d 6c 79 0a 09 6f 63 61 6d 6c 79 61 63 63 20 72 mly..ocamlyacc r
0340: 61 73 63 6c 50 61 72 73 65 72 2e 6d 6c 79 0a 0a asclParser.mly..
0350: 0a 72 61 73 63 6c 4c 65 78 65 72 2e 63 6d 6f 20 .rasclLexer.cmo
0360: 3a 20 72 61 73 63 6c 44 69 63 74 2e 63 6d 6f 20 : rasclDict.cmo
0370: 72 61 73 63 6c 50 61 72 73 65 72 2e 63 6d 6f 20 rasclParser.cmo
0380: 72 61 73 63 6c 4c 65 78 65 72 2e 6d 6c 0a 09 6f rasclLexer.ml..o
0390: 63 61 6d 6c 63 20 2d 63 20 72 61 73 63 6c 50 61 camlc -c rasclPa
03a0: 72 73 65 72 2e 63 6d 6f 20 72 61 73 63 6c 4c 65 rser.cmo rasclLe
03b0: 78 65 72 2e 6d 6c 0a 72 61 73 63 6c 4c 65 78 65 xer.ml.rasclLexe
03c0: 72 2e 63 6d 78 20 3a 20 72 61 73 63 6c 44 69 63 r.cmx : rasclDic
03d0: 74 2e 63 6d 78 20 72 61 73 63 6c 50 61 72 73 65 t.cmx rasclParse
03e0: 72 2e 63 6d 78 20 72 61 73 63 6c 4c 65 78 65 72 r.cmx rasclLexer
03f0: 2e 6d 6c 0a 09 6f 63 61 6d 6c 6f 70 74 20 2d 63 .ml..ocamlopt -c
0400: 20 72 61 73 63 6c 50 61 72 73 65 72 2e 63 6d 78 rasclParser.cmx
0410: 20 72 61 73 63 6c 4c 65 78 65 72 2e 6d 6c 0a 0a rasclLexer.ml..
0420: 72 61 73 63 6c 4c 65 78 65 72 2e 6d 6c 20 3a 20 rasclLexer.ml :
0430: 72 61 73 63 6c 4c 65 78 65 72 2e 6d 6c 6c 0a 09 rasclLexer.mll..
0440: 6f 63 61 6d 6c 6c 65 78 20 72 61 73 63 6c 4c 65 ocamllex rasclLe
0450: 78 65 72 2e 6d 6c 6c 0a 0a 0a 72 61 73 63 6c 4f xer.mll...rasclO
0460: 62 6a 65 63 74 2e 63 6d 6f 20 3a 20 72 61 73 63 bject.cmo : rasc
0470: 6c 44 69 63 74 2e 63 6d 6f 20 72 61 73 63 6c 50 lDict.cmo rasclP
0480: 61 72 73 65 72 2e 63 6d 6f 20 72 61 73 63 6c 4c arser.cmo rasclL
0490: 65 78 65 72 2e 63 6d 6f 0a 09 6f 63 61 6d 6c 63 exer.cmo..ocamlc
04a0: 20 2d 63 20 72 61 73 63 6c 50 61 72 73 65 72 2e -c rasclParser.
04b0: 63 6d 6f 20 72 61 73 63 6c 4c 65 78 65 72 2e 63 cmo rasclLexer.c
04c0: 6d 6f 20 72 61 73 63 6c 4f 62 6a 65 63 74 2e 6d mo rasclObject.m
04d0: 6c 0a 72 61 73 63 6c 4f 62 6a 65 63 74 2e 63 6d l.rasclObject.cm
04e0: 78 20 3a 20 72 61 73 63 6c 44 69 63 74 2e 63 6d x : rasclDict.cm
04f0: 78 20 72 61 73 63 6c 50 61 72 73 65 72 2e 63 6d x rasclParser.cm
0500: 78 20 72 61 73 63 6c 4c 65 78 65 72 2e 63 6d 78 x rasclLexer.cmx
0510: 0a 09 6f 63 61 6d 6c 6f 70 74 20 2d 63 20 72 61 ..ocamlopt -c ra
0520: 73 63 6c 50 61 72 73 65 72 2e 63 6d 78 20 72 61 sclParser.cmx ra
0530: 73 63 6c 4c 65 78 65 72 2e 63 6d 78 20 72 61 73 sclLexer.cmx ras
0540: 63 6c 4f 62 6a 65 63 74 2e 6d 6c 0a 0a 0a 72 61 clObject.ml...ra
0550: 73 63 6c 2e 63 6d 6f 20 3a 20 72 61 73 63 6c 2e scl.cmo : rascl.
0560: 6d 6c 20 72 61 73 63 6c 2e 63 6d 69 0a 72 61 73 ml rascl.cmi.ras
0570: 63 6c 2e 63 6d 78 20 3a 20 72 61 73 63 6c 2e 6d cl.cmx : rascl.m
0580: 6c 20 72 61 73 63 6c 2e 63 6d 69 0a 0a 0a 25 2e l rascl.cmi...%.
0590: 63 6d 6f 20 3a 20 25 2e 6d 6c 0a 09 6f 63 61 6d cmo : %.ml..ocam
05a0: 6c 63 20 2d 63 20 24 3c 0a 25 2e 63 6d 78 20 3a lc -c $<.%.cmx :
05b0: 20 25 2e 6d 6c 0a 09 6f 63 61 6d 6c 6f 70 74 20 %.ml..ocamlopt
05c0: 2d 63 20 24 3c 0a 25 2e 63 6d 69 20 3a 20 25 2e -c $<.%.cmi : %.
05d0: 6d 6c 69 0a 09 6f 63 61 6d 6c 63 20 2d 63 20 24 mli..ocamlc -c $
05e0: 3c 0a 0a 0a 70 61 5f 72 61 73 63 6c 2e 63 6d 6f <...pa_rascl.cmo
05f0: 20 3a 0a 09 6f 63 61 6d 6c 63 20 2d 63 20 2d 49 :..ocamlc -c -I
0600: 20 2b 63 61 6d 6c 70 34 20 2d 70 70 20 27 63 61 +camlp4 -pp 'ca
0610: 6d 6c 70 34 6f 20 70 61 5f 65 78 74 65 6e 64 2e mlp4o pa_extend.
0620: 63 6d 6f 20 71 5f 4d 4c 61 73 74 2e 63 6d 6f 20 cmo q_MLast.cmo
0630: 2d 6c 6f 63 20 6c 6f 63 27 20 5c 0a 09 09 70 61 -loc loc' \...pa
0640: 5f 72 61 73 63 6c 2e 6d 6c 0a 0a 69 6e 73 74 61 _rascl.ml..insta
0650: 6c 6c 20 3a 20 75 6e 69 6e 73 74 61 6c 6c 0a 09 ll : uninstall..
0660: 66 69 6c 65 73 3d 24 24 28 20 5c 0a 09 09 66 6f files=$$( \...fo
0670: 72 20 66 20 69 6e 20 72 61 73 63 6c 2e 63 6d 61 r f in rascl.cma
0680: 20 72 61 73 63 6c 2e 63 6d 78 61 20 72 61 73 63 rascl.cmxa rasc
0690: 6c 2e 61 20 72 61 73 63 6c 2e 63 6d 69 20 72 61 l.a rascl.cmi ra
06a0: 73 63 6c 2e 6d 6c 69 20 5c 0a 09 09 09 20 20 70 scl.mli \.... p
06b0: 61 5f 72 61 73 63 6c 2e 63 6d 6f 20 4d 45 54 41 a_rascl.cmo META
06c0: 3b 20 64 6f 20 5c 0a 09 09 09 69 66 20 5b 20 2d ; do \....if [ -
06d0: 66 20 22 24 24 66 22 20 5d 3b 20 74 68 65 6e 20 f "$$f" ]; then
06e0: 65 63 68 6f 20 24 24 66 3b 20 66 69 3b 20 5c 0a echo $$f; fi; \.
06f0: 09 09 64 6f 6e 65 3b 20 5c 0a 09 29 20 26 26 20 ..done; \..) &&
0700: 5c 0a 09 6f 63 61 6d 6c 66 69 6e 64 20 69 6e 73 \..ocamlfind ins
0710: 74 61 6c 6c 20 72 61 73 63 6c 20 24 24 66 69 6c tall rascl $$fil
0720: 65 73 0a 0a 75 6e 69 6e 73 74 61 6c 6c 20 3a 0a es..uninstall :.
0730: 09 6f 63 61 6d 6c 66 69 6e 64 20 72 65 6d 6f 76 .ocamlfind remov
0740: 65 20 72 61 73 63 6c 0a 0a 64 6f 63 20 3a 0a 09 e rascl..doc :..
0750: 6f 63 61 6d 6c 64 6f 63 20 2d 68 74 6d 6c 20 2d ocamldoc -html -
0760: 63 73 73 2d 73 74 79 6c 65 20 6d 63 67 2e 63 73 css-style mcg.cs
0770: 73 20 2d 64 20 64 6f 63 2f 6f 63 61 6d 6c 2f 61 s -d doc/ocaml/a
0780: 70 69 20 72 61 73 63 6c 2e 6d 6c 69 0a 0a 63 6c pi rascl.mli..cl
0790: 65 61 6e 3a 0a 09 2d 72 6d 20 2d 66 20 2a 2e 63 ean:..-rm -f *.c
07a0: 6d 6f 20 2a 2e 63 6d 69 20 2a 2e 6f 20 2a 2e 63 mo *.cmi *.o *.c
07b0: 6d 78 20 72 61 73 63 6c 50 61 72 73 65 72 2e 6d mx rasclParser.m
07c0: 6c 20 72 61 73 63 6c 4c 65 78 65 72 2e 6d 6c 0a l rasclLexer.ml.
07d0: 0a 72 65 61 6c 63 6c 65 61 6e 20 3a 20 63 6c 65 .realclean : cle
07e0: 61 6e 0a 09 2d 72 6d 20 2d 66 20 2a 2e 63 6d 61 an..-rm -f *.cma
07f0: 20 2a 2e 63 6d 78 61 20 2a 2e 61 0a *.cmxa *.a.