Gabriel Pichot avatar Gabriel Pichot committed d71c37a

Ajout du dossier ens et des modifications (non complètes du Makefile)

Comments (0)

Files changed (2)

 SOURCES2 = $(
 OBJS = $(
 $(EXEC): $(OBJS)
 	$(CAMLC) $(CUSTOM) -o $(EXEC) $(LIBS) $(OBJS)
 $(EXEC).opt: $(OPTOBJS)
 	$(CAMLOPT) -o $(EXEC) $(LIBS:.cma=.cmxa) $(OPTOBJS)
 .SUFFIXES: .ml .mli .cmo .cmi .cmx .mll .mly
 	$(CAMLC) $(LIBS) -annot -c $<
+# 	lgrind -i -lOCaml $< > latex/$@
 	$(CAMLC) -c $<


+% Just Fuck Listings Package which do not support UTF-8 O_o
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.