Newer
Older
##################
# Objective Caml #
##################
| ".*\.mly" -> frame open:"/*" line:"*" close:"*/"
| ".*\.ml[il4]?.*" -> frame open:"(*" line:"*" close:"*)"
############
# C source #
############
| ".*\.h" -> frame open:"/*" line:"*" close:"*/"
| ".*\.i" -> frame open:"/*" line:"*" close:"*/"
| ".*\.c" -> frame open:"/*" line:"*" close:"*/"
| ".*\.ast" -> frame open:"//" line:" " close:" "
| ".*\.cc" -> frame open:"/*" line:"*" close:"*/"
#######
# Asm #
#######
| ".*\.S" -> frame open:"/*" line:"*" close:"*/"
#############
# Configure #
#############
| ".*config\.h\.in" -> frame open:"/*" line:"*" close:"*/"
| ".*configure\..*" -> frame open:"#" line:"#" close:"#"
########
# Dune #
########
| "dune-project" -> frame open:";;" line:";" close:";;"
| "dune" -> frame open:";;" line:";" close:";;"
############
# Makefile #
############
| ".*Make.*" -> frame open:"#" line:"#" close:"#"
| ".*\.mk" -> frame open:"#" line:"#" close:"#"
#################
# Shell scripts #
#################
#note: the skip directive requires a filename starting by ".*"
# (the skip directive looks at the full path-name)
| "autocomplete_frama-c" -> frame open: "#" line: "#" close: "#"
| "_frama-c" -> frame open: "#" line: "#" close: "#"
| ".*_frama-c" -> skip match:"#compdef.*"
| ".*\.sh" -> frame open:"#" line:"#" close:"#"
| ".*\.sh" -> skip match:"#!.*"
| ".*\.sh.comp" -> frame open:"#" line:"#" close:"#"
| ".*\.sh.comp" -> skip match:"#!.*"
| "frama-c" -> frame open:"#" line:"#" close:"#"
| ".*frama-c" -> skip match:"#!.*"
| "frama-c-config" -> frame open:"#" line:"#" close:"#"
| ".*frama-c-config" -> skip match:"#!.*"
| "frama-c-script" -> frame open:"#" line:"#" close:"#"
| ".*frama-c-script" -> skip match:"#!.*"
| "frama-c-gui" -> frame open:"#" line:"#" close:"#"
| ".*frama-c-gui" -> skip match:"#!.*"
| "frama-c-gui.byte" -> frame open:"#" line:"#" close:"#"
| ".*frama-c-gui.byte" -> skip match:"#!.*"
| "frama-c.byte" -> frame open:"#" line:"#" close:"#"
| ".*frama-c.byte" -> skip match:"#!.*"
| "frama-c.top" -> frame open:"#" line:"#" close:"#"
| ".*frama-c.top" -> skip match:"#!.*"
| "frama-c.debug" -> frame open:"#" line:"#" close:"#"
| ".*frama-c.debug" -> skip match:"#!.*"
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
################
# Perl scripts #
################
| ".*\.perl" -> frame open:"#" line:"#" close:"#"
| "flamegraph.pl" -> frame open:"#" line:"#" close:"#"
| ".*flamegraph.pl" -> skip match:"#!.*"
#########################
# MS-Windows Resources #
#########################
| ".*\.rc" -> frame open:"#" line:"#" close:"#"
#############
# man pages #
#############
| ".*\.[1-9]" -> frame open:".\\\"" line: "-" close:""
#############
# Why files #
#############
| ".*\.why" -> frame open: "(*" line: "*" close: "*)"
| ".*\.why\.src" -> frame open: "(*" line: "*" close: "*)"
#############
# Alt-Ergo files #
#############
| ".*\.mlw" -> frame open: "(*" line: "*" close: "*)"
#############
# Coq files #
#############
| ".*\.v" -> frame open: "(*" line: "*" close: "*)"
#############
# WP files #
#############
| ".*\.driver" -> frame open: "/*" line: "*" close: "*/"
#####################
# Why3 driver files #
#####################
| ".*\.drv" -> frame open: "(*" line: "*" close: "*)"
########
# HTML #
########
| ".*\.htm.*" -> frame open: "<!--" line: "-" close: "-->"
########
# XML #
########
| ".*\.xml" -> frame open: "<!--" line: "-" close: "-->"
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
#######
# DTD #
#######
| ".*\.dtd" -> frame open: "<!--" line: " " close: "-->"
#######
# XSL #
#######
| ".*\.xsl" -> frame open: "<!--" line: " " close: "-->"
#######
# CSS #
#######
| ".*\.css" -> frame open: "/*" line: "*" close: "*/"
# plug-in's ocamldoc introductions
| "intro_.*\.txt" -> frame open: "#*" line: "*" close: "#"
##########
# PROLOG #
##########
| ".*\.pl" -> frame open: "%" line: "%" close: "%"
##############
# Emacs Lisp #
##############
| ".*\.el" -> frame open: ";" line: ";" close:";"
##########
# Python #
##########
| ".*\.py" -> frame open: "#" line: "#" close:"#"
| ".*\.py" -> skip multiline_match: "#!.*" multiline_match: "#-\*-.*"
##############
# Misc files #
##############
| "make_release" -> frame open:"#" line:"#" close:"#"
| "FAQ" -> frame open:"#" line:"#" close:"#"
##############
# JavaScript files #
##############
| ".*\.js" -> frame open:"/* " line:"*" close:" */"
| ".*\.ts" -> frame open:"/* " line:"*" close:" */"
| ".*\.jsx" -> frame open:"/* " line:"*" close:" */"
| ".*\.tsx" -> frame open:"/* " line:"*" close:" */"