File: include_directories

package info (click to toggle)
coq-doc 8.20.0-2
  • links: PTS, VCS
  • area: non-free
  • in suites: trixie
  • size: 46,708 kB
  • sloc: ml: 234,429; sh: 4,686; python: 3,359; ansic: 2,644; makefile: 842; lisp: 172; javascript: 87; xml: 24; sed: 2
file content (19 lines) | stat: -rw-r--r-- 994 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
#directory "+compiler-libs";;

#directory "_build/default/lib/.lib.objs/byte/";;
#directory "_build/default/clib/.clib.objs/byte/";;
#directory "_build/default/kernel/.kernel.objs/byte/";;
#directory "_build/default/library/.library.objs/byte/";;
#directory "_build/default/engine/.engine.objs/byte/";;
#directory "_build/default/pretyping/.pretyping.objs/byte/";;
#directory "_build/default/interp/.interp.objs/byte/";;
#directory "_build/default/parsing/.parsing.objs/byte/";;
#directory "_build/default/gramlib/.gramlib.objs/byte/";;
#directory "_build/default/proofs/.proofs.objs/byte/";;
#directory "_build/default/tactics/.tactics.objs/byte/";;
#directory "_build/default/printing/.printing.objs/byte/";;
#directory "_build/default/vernac/.vernac.objs/byte/";;
#directory "_build/default/stm/.stm.objs/byte/";;
#directory "_build/default/toplevel/.toplevel.objs/byte/";;
#directory "_build/default/plugins/ltac/.ltac_plugin.objs/byte/";;
#directory "_build/default/dev/.dev.objs/byte/";;