# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: Anil Madhavapeddy <anil@recoil.org>
global pkgname := 'gringo'
global pkgver := '4.5.4'
global pkgrel := '0'
global pkgdesc := '"Grounder to translate user-provided logic programs'"
global url := '"https://potassco.org/'"
global arch := '"all'"
global license := '"LGPL3'"
global depends := ''""
global makedepends := '"re2c scons bison'"
global install := ''""
global subpackages := ''""
global source := ""https://downloads.sourceforge.net/project/potassco/gringo/$(pkgver)/gringo-$(pkgver)-source.tar.gz
	010_include_cmath.patch
	""
global builddir := ""$srcdir"/$pkgname-$pkgver-source"

proc build {
	cd $builddir
	scons --build-dir=release gringo clingo reify || return 1
}

proc package {
	cd $builddir
	for i in [gringo clingo reify] {
		install -Dm755 "build/release/$i" "$pkgdir/usr/bin/$i" || return 1
	}
}

global sha512sums := '"0b227f5a639eda512382b4b17adcacb394e010a7297c7cac379ee08679ce60299c6091f272472f376c40f935e8e956b181af83b5bc0a12d881a5bd7211b1dcf7  gringo-4.5.4-source.tar.gz
426b9d578bfa3a8b10963f5084b2f9879c20b9843795518c484335e51c5de2b62b8d69fb96be829c015511d30d428af1ef3cdfa0b9cc3cfb1fac2581eb60f236  010_include_cmath.patch'"
(CommandList
  children: [
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:pkgname) op:Equal rhs:{(gringo)} spids:[6])]
      spids: [6]
    )
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:pkgver) op:Equal rhs:{(4.5.4)} spids:[9])]
      spids: [9]
    )
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:pkgrel) op:Equal rhs:{(0)} spids:[12])]
      spids: [12]
    )
    (Assignment
      keyword: Assign_None
      pairs: [
        (assign_pair
          lhs: (LhsName name:pkgdesc)
          op: Equal
          rhs: {(DQ ("Grounder to translate user-provided logic programs"))}
          spids: [15]
        )
      ]
      spids: [15]
    )
    (Assignment
      keyword: Assign_None
      pairs: [
        (assign_pair
          lhs: (LhsName name:url)
          op: Equal
          rhs: {(DQ ("https://potassco.org/"))}
          spids: [20]
        )
      ]
      spids: [20]
    )
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:arch) op:Equal rhs:{(DQ (all))} spids:[25])]
      spids: [25]
    )
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:license) op:Equal rhs:{(DQ (LGPL3))} spids:[30])]
      spids: [30]
    )
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:depends) op:Equal rhs:{(DQ )} spids:[35])]
      spids: [35]
    )
    (Assignment
      keyword: Assign_None
      pairs: [
        (assign_pair
          lhs: (LhsName name:makedepends)
          op: Equal
          rhs: {(DQ ("re2c scons bison"))}
          spids: [39]
        )
      ]
      spids: [39]
    )
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:install) op:Equal rhs:{(DQ )} spids:[44])]
      spids: [44]
    )
    (Assignment
      keyword: Assign_None
      pairs: [(assign_pair lhs:(LhsName name:subpackages) op:Equal rhs:{(DQ )} spids:[48])]
      spids: [48]
    )
    (Assignment
      keyword: Assign_None
      pairs: [
        (assign_pair
          lhs: (LhsName name:source)
          op: Equal
          rhs: 
            {
              (DQ ("https://downloads.sourceforge.net/project/potassco/gringo/") (${ VSub_Name pkgver) 
                (/gringo-) (${ VSub_Name pkgver) ("-source.tar.gz\n") ("\t010_include_cmath.patch\n") ("\t")
              )
            }
          spids: [52]
        )
      ]
      spids: [52]
    )
    (Assignment
      keyword: Assign_None
      pairs: [
        (assign_pair
          lhs: (LhsName name:builddir)
          op: Equal
          rhs: 
            {(DQ ($ VSub_Name "$srcdir")) (/) ($ VSub_Name "$pkgname") (-) ($ VSub_Name "$pkgver") 
              (-source)
            }
          spids: [67]
        )
      ]
      spids: [67]
    )
    (FuncDef
      name: build
      body: 
        (BraceGroup
          children: [
            (C {(cd)} {(DQ ($ VSub_Name "$builddir"))})
            (AndOr
              children: [
                (C {(scons)} {(--build-dir) (Lit_Other "=") (release)} {(gringo)} {(clingo)} {(reify)})
                (ControlFlow token:<ControlFlow_Return return> arg_word:{(1)})
              ]
              op_id: Op_DPipe
            )
          ]
          spids: [82]
        )
      spids: [78 81]
    )
    (FuncDef
      name: package
      body: 
        (BraceGroup
          children: [
            (C {(cd)} {(DQ ($ VSub_Name "$builddir"))})
            (ForEach
              iter_name: i
              iter_words: [{(gringo)} {(clingo)} {(reify)}]
              do_arg_iter: False
              body: 
                (DoGroup
                  children: [
                    (AndOr
                      children: [
                        (C {(install)} {(-Dm755)} {(DQ (build/release/) ($ VSub_Name "$i"))} 
                          {(DQ ($ VSub_Name "$pkgdir") (/usr/bin/) ($ VSub_Name "$i"))}
                        )
                        (ControlFlow
                          token: <ControlFlow_Return return>
                          arg_word: {(1)}
                        )
                      ]
                      op_id: Op_DPipe
                    )
                  ]
                  spids: [140 165]
                )
              spids: [132 138]
            )
          ]
          spids: [117]
        )
      spids: [113 116]
    )
    (Assignment
      keyword: Assign_None
      pairs: [
        (assign_pair
          lhs: (LhsName name:sha512sums)
          op: Equal
          rhs: 
            {
              (DQ 
                (
"0b227f5a639eda512382b4b17adcacb394e010a7297c7cac379ee08679ce60299c6091f272472f376c40f935e8e956b181af83b5bc0a12d881a5bd7211b1dcf7  gringo-4.5.4-source.tar.gz\n"
                ) 
                (
"426b9d578bfa3a8b10963f5084b2f9879c20b9843795518c484335e51c5de2b62b8d69fb96be829c015511d30d428af1ef3cdfa0b9cc3cfb1fac2581eb60f236  010_include_cmath.patch"
                )
              )
            }
          spids: [170]
        )
      ]
      spids: [170]
    )
  ]
)