@@ -34,10 +34,6 @@ FilesAB: src/lTerm_config.h.ab
34
34
# | The library |
35
35
# +-------------------------------------------------------------------+
36
36
37
- Flag camlp4
38
- Description: camlp4 support
39
- Default: false
40
-
41
37
Library "lambda-term"
42
38
FindlibName: lambda-term
43
39
BuildDepends: lwt (>= 2.4.0), lwt.unix, lwt.react, zed (>= 1.2)
@@ -87,131 +83,115 @@ Library "lambda-term"
87
83
88
84
Executable events
89
85
Path: examples
90
- Build$: flag(camlp4)
91
86
Install: false
92
87
CompiledObject: best
93
88
MainIs: events.ml
94
- BuildDepends: lambda-term, lwt.syntax
89
+ BuildDepends: lambda-term
95
90
96
91
Executable colors
97
92
Path: examples
98
- Build$: flag(camlp4)
99
93
Install: false
100
94
CompiledObject: best
101
95
MainIs: colors.ml
102
- BuildDepends: lambda-term, lwt.syntax
96
+ BuildDepends: lambda-term
103
97
104
98
Executable colors_256
105
99
Path: examples
106
- Build$: flag(camlp4)
107
100
Install: false
108
101
CompiledObject: best
109
102
MainIs: colors_256.ml
110
- BuildDepends: lambda-term, lwt.syntax
103
+ BuildDepends: lambda-term
111
104
112
105
Executable rgb
113
106
Path: examples
114
- Build$: flag(camlp4)
115
107
Install: false
116
108
CompiledObject: best
117
109
MainIs: rgb.ml
118
- BuildDepends: lambda-term, lwt.syntax
110
+ BuildDepends: lambda-term
119
111
120
112
Executable move
121
113
Path: examples
122
- Build$: flag(camlp4)
123
114
Install: false
124
115
CompiledObject: best
125
116
MainIs: move.ml
126
- BuildDepends: lambda-term, lwt.syntax
117
+ BuildDepends: lambda-term
127
118
128
119
Executable hello
129
120
Path: examples
130
- Build$: flag(camlp4)
131
121
Install: false
132
122
CompiledObject: best
133
123
MainIs: hello.ml
134
- BuildDepends: lambda-term, lwt.syntax
124
+ BuildDepends: lambda-term
135
125
136
126
Executable clock
137
127
Path: examples
138
- Build$: flag(camlp4)
139
128
Install: false
140
129
CompiledObject: best
141
130
MainIs: clock.ml
142
- BuildDepends: lambda-term, lwt.syntax
131
+ BuildDepends: lambda-term
143
132
144
133
Executable buttons
145
134
Path: examples
146
- Build$: flag(camlp4)
147
135
Install: false
148
136
CompiledObject: best
149
137
MainIs: buttons.ml
150
- BuildDepends: lambda-term, lwt.syntax
138
+ BuildDepends: lambda-term
151
139
152
140
Executable checkbuttons
153
141
Path: examples
154
- Build$: flag(camlp4)
155
142
Install: false
156
143
CompiledObject: best
157
144
MainIs: checkbuttons.ml
158
- BuildDepends: lambda-term, lwt.syntax
145
+ BuildDepends: lambda-term
159
146
160
147
Executable radiobuttons
161
148
Path: examples
162
- Build$: flag(camlp4)
163
149
Install: false
164
150
CompiledObject: best
165
151
MainIs: radiobuttons.ml
166
- BuildDepends: lambda-term, lwt.syntax
152
+ BuildDepends: lambda-term
167
153
168
154
Executable shell
169
155
Path: examples
170
- Build$: flag(camlp4)
171
156
Install: false
172
157
CompiledObject: best
173
158
MainIs: shell.ml
174
- BuildDepends: lambda-term, lwt.syntax, str
159
+ BuildDepends: lambda-term, str
175
160
176
161
Executable repl
177
162
Path: examples
178
- Build$: flag(camlp4)
179
163
Install: false
180
164
CompiledObject: best
181
165
MainIs: repl.ml
182
- BuildDepends: lambda-term, lwt.syntax
166
+ BuildDepends: lambda-term
183
167
184
168
Executable modal
185
169
Path: examples
186
- Build$: flag(camlp4)
187
170
Install: false
188
171
CompiledObject: best
189
172
MainIs: modal.ml
190
- BuildDepends: lambda-term, lwt.syntax
173
+ BuildDepends: lambda-term
191
174
192
175
Executable "read-password"
193
176
Path: examples
194
- Build$: flag(camlp4)
195
177
Install: false
196
178
CompiledObject: best
197
179
MainIs: read_password.ml
198
- BuildDepends: lambda-term, lwt.syntax
180
+ BuildDepends: lambda-term
199
181
200
182
Executable "read-yes-no"
201
183
Path: examples
202
- Build$: flag(camlp4)
203
184
Install: false
204
185
CompiledObject: best
205
186
MainIs: read_yes_no.ml
206
- BuildDepends: lambda-term, lwt.syntax
187
+ BuildDepends: lambda-term
207
188
208
189
Executable "editor"
209
190
Path: examples
210
- Build$: flag(camlp4)
211
191
Install: false
212
192
CompiledObject: best
213
193
MainIs: editor.ml
214
- BuildDepends: lambda-term, lwt.syntax
194
+ BuildDepends: lambda-term
215
195
216
196
# +-------------------------------------------------------------------+
217
197
# | Utils |
0 commit comments