[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/ssreflect][master] 3 commits: Do not hardcode /usr/lib/ocaml



Title: GitLab

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ssreflect

Commits:

  • 2f7f3946
    by Stephane Glondu at 2024-08-03T09:34:17+02:00
    Do not hardcode /usr/lib/ocaml
    
  • 61a43c18
    by Stephane Glondu at 2024-08-03T09:34:42+02:00
    Update changelog
    
  • 1bbfb1f7
    by Stephane Glondu at 2024-08-03T10:09:28+02:00
    Prepare upload to unstable
    

2 changed files:

Changes:

  • debian/changelog
    1
    +ssreflect (2.2.0-2) unstable; urgency=medium
    
    2
    +
    
    3
    +  * Do not hardcode /usr/lib/ocaml
    
    4
    +
    
    5
    + -- Stéphane Glondu <glondu@debian.org>  Sat, 03 Aug 2024 10:09:08 +0200
    
    6
    +
    
    1 7
     ssreflect (2.2.0-1) unstable; urgency=medium
    
    2 8
     
    
    3 9
       * New upstream release.
    

  • debian/rules
    ... ... @@ -15,11 +15,11 @@ override_dh_auto_build:
    15 15
     override_dh_auto_install:
    
    16 16
     	$(MAKE) -C mathcomp install DSTROOT=$(CURDIR)/debian/tmp
    
    17 17
     	for pkg in algebra character field fingroup solvable ssreflect; do \
    
    18
    -		find debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/$$pkg -regextype posix-awk \
    
    18
    +		find debian/tmp$(COQ_USERCONTRIB_DIR)/mathcomp/$$pkg -regextype posix-awk \
    
    19 19
     		-regex '.*\.(v|vo|vos|glob)$$' \
    
    20 20
     		>> debian/libcoq-mathcomp-$$pkg.install ; \
    
    21 21
     	done
    
    22
    -	find debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/all -regextype posix-awk \
    
    22
    +	find debian/tmp$(COQ_USERCONTRIB_DIR)/mathcomp/all -regextype posix-awk \
    
    23 23
     	-regex '.*\.(v|vo|vos|glob)$$' \
    
    24 24
     	>> debian/libcoq-mathcomp.install ;	
    
    25 25
     
    


  • Reply to: