Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

small modifs

  • Loading branch information...
commit 2ea04c65f390b338738dd1b15a254f366c59ac9a 1 parent d76fdd9
@fredokun authored
Showing with 22 additions and 4 deletions.
  1. +7 −1 AUTHORS
  2. +1 −0  VERSION
  3. +2 −1  packaging.sh
  4. +12 −2 src/Makefile
View
8 AUTHORS
@@ -15,4 +15,10 @@ Mathieu Dien
Many fixes and improvements
Alexis Darrasse
- Underlying algorithmics
+ Underlying algorithmics
+
+Marwan Ghanem
+ finalization of SEQ
+ various fixes
+ packaging (source, Debian, Opam)
+
View
1  VERSION
@@ -0,0 +1 @@
+0.9
View
3  packaging.sh
@@ -3,7 +3,7 @@
#creates an install package for using the files in its directory
#the verision is passed as a parameter
-pack=arbogen_$1
+pack=arbogen_`cat VERSION`
#testing if in correct folder
if [ ! -f configure.in ]; then
@@ -28,6 +28,7 @@ mkdir $pack
cp -r src/ $pack
cp Makefile.in $pack/Makefile.in
cp configure $pack/configure
+cp VERSION $pack/VERSION
cp LICENSE.txt $pack/LICENCE.txt
cp README.md $pack/README.md
cp AUTHORS $pack/AUTHORS
View
14 src/Makefile
@@ -23,6 +23,9 @@ all: $(TARGS)
arbogen: $(SRCS)
$(OCAMLOPT) -o arbogen $(SRCS)
+arbogen.byte: $(SRCS)
+ $(OCAMLC) -o arbogen.byte $(SRCS)
+
install:: arbogen
mkdir -p $(BINDIR)
@@ -31,5 +34,12 @@ install:: arbogen
cp -f doc/$(TARGS).1 /usr/local/man/man1/$(TARGS).1
clean:
- rm arbogen
- rm *.cmi *.cmx *.o
+ rm -f *~
+ rm -f *.cmi
+ rm -f *.cmx
+ rm -f *.cmo
+ rm -f *.o
+
+cleanall: clean
+ rm -f arbogen
+ rm -f arbogen.byte
Please sign in to comment.
Something went wrong with that request. Please try again.