File: dune

package info (click to toggle)
elpi 2.0.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 50,296 kB
  • sloc: ml: 18,791; makefile: 229; python: 95; sh: 7
file content (15 lines) | stat: -rw-r--r-- 1,071 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
(library (name sepcomp) (modules sepcomp_template) (libraries elpi))
(executable (name sepcomp1) (modules sepcomp1) (libraries sepcomp))
(executable (name sepcomp2) (modules sepcomp2) (libraries sepcomp))
(executable (name sepcomp3) (modules sepcomp3) (libraries sepcomp))
(executable (name sepcomp4) (modules sepcomp4) (libraries sepcomp))
(executable (name sepcomp5) (modules sepcomp5) (libraries sepcomp))
(executable (name sepcomp6) (modules sepcomp6) (libraries sepcomp))
(executable (name sepcomp7) (modules sepcomp7) (libraries sepcomp))
(executable (name sepcomp8) (modules sepcomp8) (libraries sepcomp))
(executable (name sepcomp9) (modules sepcomp9) (libraries sepcomp))
(executable (name sepcomp_perf1) (modules sepcomp_perf1) (libraries sepcomp))
(executable (name sepcomp_perf2) (modules sepcomp_perf2) (libraries sepcomp))
(executable (name sepcomp_perf3) (modules sepcomp_perf3) (libraries sepcomp))
(executable (name sepcomp_perf4) (modules sepcomp_perf4) (libraries sepcomp))
(executable (name sepcomp_perf5) (modules sepcomp_perf5) (libraries sepcomp))