Skip to content

Commit b23a15d

Browse files
committed
Merge pull request #24 from adferguson/oasis_fix
Oasis fix
2 parents aec08b1 + 542ad9c commit b23a15d

File tree

6 files changed

+1452
-388
lines changed

6 files changed

+1452
-388
lines changed

Makefile

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# OASIS_START
2-
# DO NOT EDIT (digest: bc1e05bfc8b39b664f29dae8dbd3ebbb)
2+
# DO NOT EDIT (digest: 7b2408909643717852b95f994b273fee)
33

44
SETUP = ocaml setup.ml
55

@@ -12,7 +12,7 @@ doc: setup.data build
1212
test: setup.data build
1313
$(SETUP) -test $(TESTFLAGS)
1414

15-
all:
15+
all:
1616
$(SETUP) -all $(ALLFLAGS)
1717

1818
install: setup.data
@@ -24,10 +24,10 @@ uninstall: setup.data
2424
reinstall: setup.data
2525
$(SETUP) -reinstall $(REINSTALLFLAGS)
2626

27-
clean:
27+
clean:
2828
$(SETUP) -clean $(CLEANFLAGS)
2929

30-
distclean:
30+
distclean:
3131
$(SETUP) -distclean $(DISTCLEANFLAGS)
3232

3333
setup.data:

_oasis

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ Library packet
2525

2626
Document doc
2727
Title: Packet documentation
28-
Type: ocamlbuild (0.3)
28+
Type: OCamlbuild (0.3)
2929
XOCamlBuildPath:
3030
lib
3131
XOCamlBuildModules:

_tags

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# OASIS_START
2-
# DO NOT EDIT (digest: 9ef107969592eae54aeeb1aaea360b12)
3-
# Ignore VCS directories, you can use the same kind of rule outside
4-
# OASIS_START/STOP if you want to exclude directories that contains
2+
# DO NOT EDIT (digest: 3c7e732d4e333ae1acfd5e06c0b2d31a)
3+
# Ignore VCS directories, you can use the same kind of rule outside
4+
# OASIS_START/STOP if you want to exclude directories that contains
55
# useless stuff for the build process
66
<**/.svn>: -traverse
77
<**/.svn>: not_hygienic

configure

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
#!/bin/sh
22

33
# OASIS_START
4-
# DO NOT EDIT (digest: 425187ed8bfdbdd207fd76392dd243a7)
4+
# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499)
55
set -e
66

77
FST=true
8-
for i in "$@"; do
8+
for i in "$@"; do
99
if $FST; then
1010
set --
1111
FST=false

0 commit comments

Comments
 (0)